theorem Th47: :: SIN_COS9:47

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