theorem :: SIN_COS6:107

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