Theorem

If is differentiable at If Then, near