theorem Th11: :: COLLSP:11

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