A,BfV.o:A>B. = .a?A>a>B [l.lj

[(a) Hp. A>B:o:A £ B-4-G . Hp. :o:œA6û>B-hG:o:œA>coB (6) » a;A>û3B.P24jj.I§5P23:o:A>B

» (a).(â):o:Ts] 24^. A f V . m £ N . . a?(mA) =- m(oûk) f 1 • IJ

[(a) Hp. §5P1 : : mA £ V

(6) * P24i : : a5(lA) = l(a3A) : : 1 £ m£ (Ts) (y) » ne me (Ts) . Ppl : : cy(wA) -h coA == n(a>A) -+- opA . Hp. P24i :o: oo((n-^l)A)=(n-hl){G}A) :o:n-hl £ me (Ts) Hp. («).(/3).(y).Pi:o:Ts]