theorem Th64: :: TOPREAL9:66

for V being RealLinearSpace
for p1, p2, p3 being Point of V holds
( not p1 in halfline (p2,p3) or p1 in LSeg (p2,p3) or p3 in LSeg (p2,p1) )