theorem Th53: :: SIN_COS9:53

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