XfG.«X<A.-=xA
[(«) Hp. Pp5 . §3P1, 2 . P44 : :: /-f G/Z^, . SiY< A : r « Z„ . Or .
A<A-:-=rA
■ (ô) Hp. f. G/Z„ : r £ Z„ . 0. . p < /V : §3P9 . §5P2.-.o:»(A)<2iY . (*) . (,8) . §3P2 lO-.Ts]
47. A<B-+-C . : «t, ra £ N . m>n . nA<mB . (m — »)A < mC . - =^m,» a
[1-.3.4.5.6.7.8J [(«) Hp. A<B.A<C.P13.Tn:o: Ts (i8j) » §4Pl.P7:o:DêG.D<B-+-C — A.D<B.-=dA (/3,) . DeGo(B — G).§4P28.P33:o:m,7>«N.m(B — D)<
nA<mB-=m,„A «
(iSj) Hp. m, n f N . wA < mB . A*> B . P13, 17 : o : » < m (SJ » D«G.D<B-f-C— A.D<B.m, «fN.m>n.m(B— D)
< «A : : (m — w) A < mC ^^) Hp. A > B .(/?,). (4) ! (^Jgh (/?,): : Ts . («) . (ô) . Pp5 : : Ts]
48. a? f R • 71, na? £ N . [nx)K < nB -H nC . o : y, 2? f R . m, my, ms; f N . a?
== y -H 2J . (m2/)A < mB . (m2j)A < mC . - ==m,y,« A
49, A>B.o:XfG.nX<A.A--nX<B.-=-xA [1..3.4.5.6.7.8J
[(a) Hp. P45 : : Y f G . nY < B- =y a
(,8) » Y £ G . nY < B : o : nY < A . P32 : o : m f N . (m-+-l)(nY) >A>m(nY).-=.^,A .___
. (y,) Hp. Y f G.TiY < B.m £ N. A = m(nY):o:m > 2 (r) , » ' (7j:o:A-7i((m--l)Y)<B
(î) • » (m-hl)(riY)>A>m(nY):o:A— 7i(mY)<B
• »- («).(^).(7).(J).Pljo:Ts]
^. A <'B .o:?:£G.A<7iX<B.- ==xA [1 . 3 . 4 . 5 . 6 . 7 . 8J
[(a) Hp. P49 : : X f G ^fîK <B.B — 7?X<B--A.-=xA ()0) * X£G.nX<B,B — 7iX<B — A:o:.A<7iX<B
• ' »* (a).(âj:o: "l^]