（formula_8） 的并集是 "X" 的一个开覆盖。但是 "X" 是一个紧集于是存在正整数 "N" 使得formula_15。因此对所有 formula_16，对所有的 formula_6，都有 formula_18，于是{formula_19}一致收敛于 "f" 。