theorem Th11: :: BORSUK_7:11

for r, s being Real st sin r = sin s & cos r = cos s holds
ex i being Integer st r = s + ((2 * PI) * i)