theorem :: INTEGRA8:24

- sin is_differentiable_on REAL