theorem Th13: :: MENELAUS:13

for A, B, C being Point of (TOP-REAL 2) st B <> C holds
( A,B,C are_collinear iff A in Line (B,C) )