theorem Th3: :: COLLSP:3

for CLSP being CollSp
for a, b, p, q, r being Point of CLSP st a <> b & a,b,p are_collinear & a,b,q are_collinear & a,b,r are_collinear holds
p,q,r are_collinear by Def4;