Cauchy sequence
が、すべての } に対して成立する。したがって列 {"fn"} は一様コーシー列であり、主張の通りにある連続函数に収束する。