theorem :: HESSENBE:5

for PCPP being CollProjectiveSpace
for p being Element of PCPP holds
not for q, r being Element of PCPP holds p,q,r are_collinear