theorem Th108: :: SIN_COS6:108

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