theorem Th68: :: SIN_COS6:68

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