theorem Th35: :: BORSUK_7:45

for i being Integer
for p1, p2 being Point of (TOP-REAL 2) st |.p1.| = |.p2.| & Arg p1 = (Arg p2) + ((2 * PI) * i) holds
p1 = p2