theorem Th62: :: SIN_COS6:62

rng arcsin = [.(- (PI / 2)),(PI / 2).]