theorem Th26: :: TOPREAL9:28

for V being RealLinearSpace
for p, q being Element of V holds q in halfline (p,q)