theorem :: SIN_COS6:110

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