for CLSP being CollSp
for a, b, r being Point of CLSP holds
( a,b,r are_collinear iff r in Line (a,b) )