不相交的成员，上面已证明formula_18。记formula_19是formula_2中所有闭包与formula_3不相交的成员，则formula_22。记formula_23，formula_24，则formula_25和formula_26都是开集，并且formula_27。令formula_28，formula_29，则formula_30。设formula_31，则存在formula_32，使得formula_33，从而formula_34。因此formula_35是formula_3的开邻域