theorem Th14: :: PARSP_2:14

for FdSp being FanodesSp
for p, q being Element of FdSp st p <> q holds
ex r being Element of FdSp st not p,q,r are_collinear