for CLSP being CollSp
for a, b being Point of CLSP holds a,b,a are_collinear by Th2;