theorem Th76: :: SIN_COS6:76

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