theorem Th2: :: COLLSP:2

for CLSP being CollSp
for a, b, c being Point of CLSP st ( a = b or a = c or b = c ) holds
a,b,c are_collinear by Def3;