A,B«G.o:meN,mA>B.-=„A . [1 .S
[(«) Hp. NA^(B -+- G) = A . Pp8 : o: C £ G . r(NA) = C . - =c a . {S) AeG.§5P22:o:NAo(A-t-G)- = A.Defl:o:A<l'(NA), (yj Hp, C * G . C=r(NA) . (-3).§3P1 :o: A<C . §4P28 :o: C-A<C. , (y) » (yi).P4:o:C— A<r(NA).Defl:o:m£N.
C — A < mA - =TO A .
(5) Hp. C f G . m « N . C— A<mA '. §4P19.§5Def2:o:C<(»M-l)A (s) . NA o (B-f-G)=A . («).(i3).(y). (S) : o : l'(NA) « 6 . H « NA .
H > l'(NA) . - =H A .
(f) Pl,§3P25:o.-.A, B e G.NA -^ (B-i-G)=a:=a.1§3P8.-.o.-.P5] 5'. Pp8i -= P5