theorem :: SIN_COS6:82

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