A £ G . a £ KK . l'a £ R . . V(aA) = (\'a)A

[(a) Hp. P9 .'§6P11 : o : r(aA), (l'a)A f G ,

(B,) » X £ G.X<(ra)A.(a).§6P29:o:» £ R.X<aîA<(ra)A.-=a; a

(J8^) ». X £ G.x £ R.aîA<(ra)A :o: aî<ra.Tq :o: a'£^.(»<a'.-=a'A

(Ô3) » X£G.a'£a.a!î£R.X<a5Â.a?<a':o:X<aA:o:aA ^ (.X-+-G)-==a

(6) » (/i,) . (/^g) . (B^) : : Xs'Q . X < (l'a)A . . X < \'{aA)

(yj » Y£G.Y<r{aA):-o:a'£a.Y<a'A.-=^'A

(y^) » a'£ a . Tq : : a'< l'a . Hp. : : a'A < (ra)A

(y) » (yJ.(n);o:Y£G.Y<l'(aA).o.Y<(ra)A

» (a).(/3).(7).Def2':o:Ts]