for V being RealLinearSpace
for A, B, C being Element of V st A <> C & A,B,C are_collinear holds
( affine-ratio (A,B,C) = 1 iff B = C )