theorem :: SIN_COS6:105

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