theorem Th05: :: ANPROJ10:11

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