theorem Th12: :: MENELAUS:12

for A, B, C being Point of (TOP-REAL 2) st A in LSeg (B,C) holds
A in Line (B,C)