theorem :: SIN_COS6:109

for r being Real st - 1 <= r & r <= 1 holds
(arccos (- r)) - (arcsin r) = PI / 2