theorem Th38: :: PARSP_2:38

for FdSp being FanodesSp
for a, b being Element of FdSp st a <> b holds
ex c being Element of FdSp st
( a,b,c are_collinear & c <> a & c <> b )