theorem Th72: :: RLTOPSP1:72

for V being RealLinearSpace
for v, w being Point of V holds v in Line (v,w)