theorem Th1: :: MENELAUS:1

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