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

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

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