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