Equivalence of Definitions of Differentiable Real Function at Point

Theorem
Let $\openint a b \subset \R$ be an open interval.

Let $\xi$ be a point in $\openint a b$.