for PCPP being CollProjectiveSpace
for p1, p2, p3, q1, q2 being Element of PCPP st not p1,p2,q1 are_collinear & p1,p2,p3 are_collinear & q1,q2,p3 are_collinear & p3 <> q2 & p2 <> p3 holds
not p3,p2,q2 are_collinear