Equivalence of Definitions of Differentiable Real Function at Point

Theorem
Let $I \subset \R$ be an open interval.

Let $\xi$ be a point in $\left({a \,.\,.\, b}\right)$.