theorem :: SIN_COS9:67

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