Equivalence of Definitions of Limit Point in Metric Space/Definition 3 implies Definition 1

Theorem
Let $M = \struct {S, d}$ be a metric space.

Let $\tau$ be the topology induced by the metric $d$.

Let $A \subseteq S$ be a subset of $S$.

Let $\alpha \in S$.