386 MARIO PIERI 



.FU,lS^2:0:aebcd^bc'-cd'-db. CifZa'^^^ó : : 

 :b' ^ = a' .[cdn b'a'] e [0] ^ic^id 



(p) Hp . (a) . P3,4 . P3,7 §2 . P8,9,28,2,4 §8 : q : cc^ ~ {c[cd n 



n b'a'~\ e?) ~ ic ~ ic? ~ ic' . ~ = A 

 (r) Hp.0ec(^~ic.P3,4.P3,ll,5§2 : o, . ze[0]^ la' ^ib' 

 (ò) Hp . zecd ^xc-\d . P3,4,l . P6 §3 . P18, 15§5. 



. P5, 11, 6,3 §2 : 3, : {b,c,b') ^eCl. ze bcb'-^ bc-cb'-^ b'b . 



. Ci) P4 : 0, . [bc n b'z] e[0] ~ lè ~ ic 

 (H) Hp .z€cd^\d^ic'. P3,4,l . P3 §3. P3,5,ll §2.P18 §5:0,: 



: (a, b, b')^eCl. z eabb' ■- ab ^ bb' ~ b'a . C;^)P4 . (r) . 



. P4, 6 §2 : 0, : [_ab n b'z] e [0] ~ m ~ lè ~ ic' 



(n) Hp . zecd^ic-^id-- ic' . C:K';6')(Ò)(H) . P6 §2 . P15 §5 . 

 . P3 : 0, : [can a';e] e[0] ~ ic~ la . [abn a' zìi ^[^1 ~ i« ~ 



(l) n^.zecd^{c[cdnb'a']d)^\c-^id-^ic'.{a).{T).{ò).{i).{r\). 

 .P3,4 . P7,3§2 . P2,7 §3 .P3§10 : 0, : [èc nb'z]^ 

 ~ € (e a'è) . Ica n a'z] ~ e (cb'a) . P3 § 10 : 0, : [aJ n è'^] - 

 ~ € (e' [aè n a'^] b) . [ai n a'0] ~ e (e' [ai n b'z] a) . P 1, 7, 19, 

 3, 5, 16 § 8 : Os : [ab n a'z] ~ = [ab n b'z] . a,be{ [ab n 

 n b'z] [ab n a'z] e') . P27 §8 : 0, . c'è (a [ab n b'z] b) 



(X) 'S.-^.zecd^{c [ed n b'a'] 6^) ~ ic ~ i6^ ~ ic' . (a) . P3 . P7,3 §2 . 

 .P18§8 : 0,: [ed nb'a']-- e[czd) . P4,5 . (r) .P2,7§3. 

 . P3 §10 : 0,: [ab n b'a']-'e{a[abnb'z]b) .{l) .{l) .VU §8: 

 :0, . [abn b'a']'-e{ac'b) 



Hp . (\) . (P) .P5 . P6§2 :0 . Th 



Questo teorema è, in fondo, una relazione tra i quattro 

 punti a, b, e, d che si deduce da altre relazioni inerenti alla 

 figura dei cinque punti a, b, e, d, z mediante eliminazione di z. 



