Every Cauchy sequence converges