462 MARIO PIERI 



(t) Hp . ^e (a&c) : 0, .-. y^^ {ale) . GJOPIO § 9 : q^,, : «/i = ^ . « . 

 . u . ?/je {acz) . u . 2e {acy-^) 



(ò) Hp . ^' = T^ . 5r'e {ac2) : o, /. y^=3 .y^'= xy^ . PI : Qy, . 

 .2//e(ac2/i) 



(H) Hp(a).Pl .Pl,2,4§8:o, :: yer ^{z'az)^i0'^xz . Oy .: 

 .•.y^eiahc) . y^{acy^) .y^^[acz) . y{ = -xy^ : Oy,: «/i'e(a'cV)- 

 . (a)P5 . G',f )P17 §9 : o,, : 2//e(ac/) . (à) . a;5;;^/)P9 §9 : 

 :0y, : y.'eiacy) . (^\'^/)P9§9 : o^,, . y^'^iacy^) 



(n) Hp .'. u^{abc) . 2e{acu) : q„ . i«eh :: q.. .-. y^^{ahc) . 2^{acy^: 

 : Oy, : 2/ieh . 2// = t^i . P4 : Oj,, . y^'^iacy^). 



Dall'insieme delle propos.^ (r), (b), (2), (n) si raccoglie: 



(Z) Hp(a) .-. we(aòc) . z^[acu) : q,. . Meh .-. (i) . (ò) . (H) . (n) :: 

 :: 0, '.:y^r^{z'az)^\z'^\2 . 3^ .•.2/ie(a&c) .y^{acy^) . 

 ■yì = T^i : Oyi .2/i'e(«C2/i). 



Pertanto : 



(X) Hp(a) .-. M€(a&c) . Z€{acu) : o„ . weh .'. (a) . (p) . (Z) . P4 :: 



:: 0, : yer -^ {z'az)-^iz'^iz , ^y . yeh 

 (m) Hp(a) .-. ve{alc) . ve{ac0) : q„ . v ek :: 3, .". «/er ~ (;Sf'a^)~ 



~ i^'~ i^ . (a) : Oy : 2/ek . P4 : 0, . «/ ~ eh 

 (v) Hp . z^{dbc) . z'=jz .'. ue{aì)c) . ze{acu) : q^ . ueh :: Q, .'. 



.'• yer^{z'az)^iz'-^ iz . y -^ eh . {\) : ^y . z'-^eiacz) 

 (p) Hp . ze{al)c) . z' = rz .-. ve{ahc) . ve(acz) : q^, . vek :: o^ .'. 



.*. yer -^{z'az)^ \z' -^iz . yeh. . ()n) : Oy . z'--e{acz). 



Infine, moltiplicando rispettiv.^ le ipotesi di (v), (p) per le 

 proposiz.i (condizionali in z) : z -^ :=^ z' .' . ve{abc) . ve{acz) : 

 : o„ . vela., e Z'^= z' .'. ue{abc) . ze{acu) : q„ . ueh.; indi som- 

 mando membro a membro; 



