theorem Th74: :: SIN_COS9:74

arccot is_differentiable_on ].(- 1),1.[