afN.o.(aU)/U = a

[(a) Hp. Def 1, 2 : : a f î((aU)/U)

(/3j » aîfl'((aU)/U).Defl,2.Pl:o:7i,7ia;£N.(iia3)U<n(aU).-=nA

(/i^) » a? a R.n, »« f N.(wa?)U<7i(aU) . §5P8, 16, 17 . Tr :o: x<a

(6) » ii3,).{6^):o:œeV{{aJJ)lJJ).o.x<a

. (a) . ()3) . Def 1, 2 . Tq : : Ts]

[Hp. §5 Defl : : lA = A . P5 : : (1A)/A = A/A . P18 : : Ts]

20. a f R . . (aU)/U = a [1 . 3 . 4 . 5 . 6 . 8, . 8 J ' [Hp. P16 : : (aU)/U -= a(U/U) . P19 . Tr : : Ts]

fHp. P17 : : (aU^U =^ a(U/U).. P19 , Tql ; Ts]

r(a) Hp. A = B.P5,19:6îA/B=l ,

: (6) » A/B = l.P19:o":A(B=-BfB.P9,:oîA=B » (a).(â):o!Ts] . \, ' '

21", A-> B . == . A/B > 1 [1 . « • i.% . «-Al

22. «fN.o: A/U = a. = . A = aU . [ > ] . ((a) Hp. Â/U = a . P18 : : A/U = (aU)/U . P9 : o : A ==.aU

. (i6J.) » A =-- aU . P5, 18 : o : A/U - a (a).(â):-o:Ts] . "