58The corresponding algebra is

/FH/WC// : R < Γ -- - - -PF--GICNrm : Γ < ÞÞÞ ⇒ /RI//C : R < ÞÞÞ,

.