Equivalence of Definitions of Removable Discontinuity of Real Function

Theorem
Let $A \subseteq \R$ be a subset of the real numbers.

Let $f : A \to \R$ be a real function.

Let $f$ be discontinuous at $a\in A$.