柯西序列
which means that formula_58 is a Cauchy sequence in "X", hence the series is convergent in "X".