設 $(x_n){n=1}^\infty\subseteq(M,d)$ 為一 Cauchy sequence, 則 $(x_n)n$ 必有界, i.e. $\exists x\ast,\exists k>0$ s.t. $d(x_n,x\ast)<k,\forall n$