theorem Th6: :: HESSENBE:6

for PCPP being CollProjectiveSpace
for a, b, b9, c being Element of PCPP st not a,b,c are_collinear & a,b,b9 are_collinear & a <> b9 holds
not a,b9,c are_collinear