柯西序列
and formula_78. Thus formula_79 is a Cauchy sequence tending to formula_80. By construction formula_81 as required.