theorem Th63: :: SIN_COS6:63

dom arcsin = [.(- 1),1.] by COMPTRIG:30, FUNCT_1:33;