theorem Th52: :: SIN_COS9:52

for r being Real st - 1 <= r & r <= 1 holds
cot (arccot r) = r