for FdSp being FanodesSp
for a, b, p, q, r being Element of FdSp st a <> b & a,b,p are_collinear & a,b,q are_collinear & a,b,r are_collinear holds
p,q,r are_collinear