A>B.o:m£N.(m-+-l)B>A>mB.-=^A [1 . 1^ . 4. 6 . 6.8;i

[(a) Hp. P23, 24 : : N o^ (ccB < A) -=a . P17, 31 .•§3P1, 2 . Ta

: : max(N^^(a?B < A)) £ N (6) Hp. m = max(N^ 'xe {œB< A)) . §3P28 : : (m -f- 1)B > A. » (a) . (ô) : : Ts]

33. U £ G . A<B . 0: aj, 2/ £ N . œA<yJJ<xB . - =0;, y a [1.3.4.5.6.8 J

[(a) Hp. §4Pl,P31:o:m£N.m(B — A)>U.--=^A

(6) .^ m £ N . m(B — A) > U . mA < U . P18 . §4P19 . §3P12:ot

U < mB : : (m , 1) £ (a?, y) £ (Ts)

(7) Hp. m£N.mA>U.P32:o:n£N.(?n-l)U>mA>nU-

(8) Hp. m,neN.TO(B— A)>U.mA>U.(«-4-l)U>mA>«U. §3P9 . §4P19, 6 : : mA < (n-+-l) U <mB : o : (m, « -h 1)

«(^yp (Ts)

Hp. («).(^).(y).(8).Pp5:o:Ts]