atau ekuivalen dengan menunjukkan

$$\lim\limits_{n \to \infty}2p(x_n,x)=\lim\limits_{n \to \infty}(p(x_n,x_n)+p(x,

x)).$$
Berdasarkan sifat metrik maka berlaku\\
$\lim\limits_{n \to \infty}p(x,x)\leq \lim\limits_{n \to \infty}p(x_n,x)$ dan $\
lim\limits_{n \to \infty}p(x_n,x_n)\leq \lim\limits_{n \to \infty}p(x_n,x),$ seh
ingga diperoleh
\begin{align}\label{111}
\lim\limits_{n \to \infty}p(x,x)+\lim\limits_{n \to \infty}p(x_n,x_n)\leq 2\lim\
limits_{n \to \infty}p(x_n,x).
\end{align}
Di lain pihak berlaku
$$\lim_{n \to \infty}p(x_n,x)\leq \lim_{n \to \infty}(p(x_n,x)+p(x,x)-p(x,x)) \t
ext{ dan }$$
$$\lim_{n \to \infty}p(x_n,x)\leq \lim_{n \to \infty}(p(x_n,x_n)+p(x_n,x)-p(x_n,
x_n))$$
sehingga diperoleh
\begin{align*}
2 \lim_{n \to \infty}p(x_n,x) \leq& \lim_{n \to \infty}(p(x_n,x)+p(x,x)-p(x,x))
+ \\
& \lim_{n \to \infty}(p(x_n,x_n)+p(x_n,x)-p(x_n,x_n))\\
= &p(x,x)+p(x,x)-p(x,x)+\lim_{n \to \infty}p(x_n,x_n)+\lim_{n \to \infty} p(x,x)
-\lim_{n \to \infty}p(x_n,x_n)\\
\end{align*}
Jadi ruang metrik $(X,p^S)$ lengkap.