theorem Th06: :: ANPROJ10:13

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) = 0 iff A = B )