for SAS being Semi_Affine_Space
for a, b, c, d, o being Element of SAS holds
( o, diff (b,a,o), diff (d,c,o) are_collinear iff a,b // c,d )