for FdSp being FanodesSp
for a, b, o, x being Element of FdSp holds
( o,a,b are_collinear or not o,a,x are_collinear or not o,b,x are_collinear or o = x )