theorem Th11: :: ANPROJ10:18

for V being RealLinearSpace
for P, Q, R being Element of V st P,Q,R are_collinear & P <> R holds
affine-ratio (R,Q,P) = 1 - (affine-ratio (P,Q,R))