Let $M = (X, \mathcal{T}_d, d)$ be a D1107: Metric space such that
| (i) | $x : \mathbb{N} \to X$ is a D336: Convergent sequence in $M$ |
| (i) | $\lim x$ is the D3000: Set of sequence limit points of $x$ in $M$ |
Then
\begin{equation}
|\lim x|
= 1
\end{equation}