theorem :: ANPROJ10:22

for V being RealLinearSpace
for P, Q, R being Element of V
for a being non zero Real st P,Q,R are_collinear & P <> R holds
affine-ratio (P,Q,R) = affine-ratio ((a * P),(a * Q),(a * R))