Equivalence of Definitions of Convergent Sequence in Metric Space/Definition 2 implies Definition 4

Theorem
Let $M = \left({A, d}\right)$ be a metric space or a pseudometric space.

Let $\sequence {x_k}$ be a sequence in $A$.