theorem Th3: :: MENELAUS:3

for A being Point of (TOP-REAL 2) holds
( (- A) `1 = - (A `1) & (- A) `2 = - (A `2) )