G'^X7(X<A)-:^A.o.Go(-NA)- = A

[(a) Hp. §4P31:d:B£Go(A — ÎÏ).-=bA (ô). . BfGo(A — G).BfNA.Defl.P22:o.B>A (y) » §4P28.§3P26:o:B£Gr,(A — G).B«NA. = A («).(y).I§3P8:o:P36]

41. A<B-t<!.o:^T£G.X-f-T=A.X<B.Y<C.-=i,TA [1.2.3.4.5.7] [(«) Hp. A < B . D aGr,(A - G) -n (C — G) . §4P6^28 . §3P1, 2 :o:

(A — D,D)£(X7Y)1 (Ts) (5) Hp. A>B.§4P23,l:o:C— (A— B)eG (y) . A>B.EfGo(C-(A— B)-G)^(B-G).§4P19,28,6,7

: : (B-E, E-f(A-B)) « '^^i (Ts) («J Hp. Pp7,5.§3Pl,2:o:DfGo(A — G)o(C — G).-=oA (y^) . A>B.(5).Pp7,5.§3Pl,2:o:EfG<^(C— (A— B)— G) o(B — G).-=,A Hp. («).(«,). (y). (yJ.Pp5:o:Ts] 42. A<B.o:XfG.A<X<B.-=xA [11.2^.4.7]

[(a) Hp. C£G.C<B — A.§4P20:o:A-i-C«X7 (Ts) ()3) » §4Pl:o:B — AêG..Pp7:o:CfG^(B— A— G).-=cA » (a) . (iS) : : Ts]