Limit Point is Limit of Convergent Sequence

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

Let $E \subseteq X$ be a subset of $X$.

Let $p$ be a limit point of $E$.

Then there exists a sequence $\sequence {x_n} \subseteq E$ which converges to a limit:
 * $\ds \lim_{n \mathop \to \infty} x_n = p$

where $\ds \lim_{n \mathop \to \infty} x_n$ is the limit of the sequence $\sequence {x_n}$.