theorem :: SIN_COS6:84

arcsin | [.(- 1),1.] is continuous