theorem Th78: :: SIN_COS6:78

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