theorem Th77: :: SIN_COS6:77

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