theorem Th23: :: SIN_COS9:23

[.(- 1),1.] c= dom arctan