theorem Th4: :: COLLSP:4

for CLSP being CollSp
for a, b, c being Point of CLSP st a,b,c are_collinear holds
( b,a,c are_collinear & a,c,b are_collinear )