theorem Th12: :: PARSP_2:12

for FdSp being FanodesSp
for a, b, c being Element of FdSp st ( a = b or b = c or c = a ) holds
a,b,c are_collinear by PARSP_1:25;