U.£G.A<B.o:aîf R.A<a?U<B.-=a;A [1.3.4.5.6.8i.8g

[(a) Hp. §5P33:o:a, &£N.aA<&U<aB, -=a,6A.-

(Ji) » a, 6 f N . aA < &U < aB . Pli, 19 : : — (aA) <.— (&U)

< — (aB) . Tr . P18 . §3P1 : : A.< ~ U < B .

Hp. (a) . {B) . Tr . PIO : : Ts]

AfiKG.Bf A.o.B<rA * [1.4.5]

[(aJHp. A^(BH-(ï)-. = A.Defl:o:B.<lA (/3J » Ar^(B-+-G) = A.X£G.X<B.Defl:o:X<rA (iSjj) • » * » X < r A . §3P22, 1, 2 : : X<B

{B) - »' • (i0,).(52).Déf2:o:B = rA

Hp. (a) . (iè) . I §3P1" : : Ts]