for V being RealLinearSpace
for P, Q being Element of V holds P,Q,Q are_collinear