:: deftheorem defines are_collinear PARSP_2:def 2 :
for FdSp being FanodesSp
for a, b, c being Element of FdSp holds
( a,b,c are_collinear iff a,b '||' a,c );