theorem Th9: :: MENELAUS:9

for A, B, C being Point of (TOP-REAL 2) holds
( A,B,C are_collinear iff the_area_of_polygon3 (A,B,C) = 0 )