H-N./'eG/Z„.r,«aZ,.0.S

[(«) Hp. Pp3 : : 2 f «l (Ts).

(6,) Hp. m«^ (Ts) . A.G/Z,„^,.r,8.Z«. Ppl:o:?~'^';i=(^| *) S^'^'ft .

(6,) m.l-HN.ft£G/Z„+i . P9. Pp3, l:o:S;-"V= (^^1^4 ^^''^ (5) Hp. ms ^E (Ts) . (ôj) . (Sg) : : m -t- 1 £ TÏf (Ts) («).(-8).Pi:o:Ts]

11. « f 1 + N . /. GjZ,. . ^ f (ZJZ J sim . . S >= s'^Vr) ' [1 -. 3 . 4]

1 f*J— il

[(a) Hp. Pp3 : : 2 f 7* f (Ts)

(ÔJ Hp. mena (Ts) . h e G/Zm+i . v a (Zm-hi/Z^H-i) sim . t;(m-f-l)=*

m-i-l.Ppl:o:S ^ = S 7i(vr)

(/?g) m f 1 -f* N . /i f G/Z,«H.i . V a (Zm+i/Zm+i) sim . s a Z«-|.i . t;« =

(/?) Hp. m£ ni (Ts) . (ig J . (ÔJ : o : m -4- 1 f tÎI (Ts) (a).(/3).Pi:o: Tsj

-G.Defl:o:Ts] .

(Defl = Pr)

[Hp. Defl:o:B£C-f-G.Hp:o:A£C- 1'. A = B-+-C.o.A>B r. » .o.A>C

[Hp. Pp3 : : A = C-f- B . PI' : : Ts]

[Hp. Def 1 : : A £ B -f- G . B f C -h G . Ppl : : A £ (C-h G) -f- G. Pp4, : : A £ C -h G . Def 1 : : Ts]

[Hp. Def 1 : : A £ B -f- G . Ppl : : A -h C f (B -4- G) -h C . Ppl, 3, • 4:o:A-f-C£(B-f-C)-4-G.Defl:o: Ts]

[Hp. Def 1 : : A £ B -4- G . Ppl^ : o : C -h Af C -+- (B -

■G.Defl:o: Ts]

G . Pp4 : : C - Ts]

o:C-hA£(C-i-B)