[0N8] If \((x_ n)β X\) is a Cauchy sequence and there exists \(x\) and a subsequence \(n_ m\) such that \(\lim _{mββ} x_{n_ m}=x\) then \(\lim _{nββ} x_{n}=x\).
[0N9]βΊβ»
This βlemmaβ is used in some important proofs, e.g. to show that a compact metric space is also complete.