fn→f (uniformemente) enH algunos mapas elementalesfn. Por(i), cada unofn es relativamente continuo en unM conjunto cerradoFn⊆H,...fn→f (uniformemente) enH algunos mapas elementalesfn. Por(i), cada unofn es relativamente continuo en unM conjunto cerradoFn⊆H, conmH−mFn<ε/2n; por lo que todosfn son relativamente continuos enF=⋂∞n=1Fn. Show queF es el conjunto requerido.