Derivative iff Right and Left Derivative

Theorem
Let $f$ be a real function.

Then $f$ is differentiable it has both right- and left-hand derivatives which agree.

Proof
Derivatives are defined in terms of limits.

The result follows from Limit iff Limits from Left and Right.