theorem :: SIN_COS9:68

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