1: $ are as in Lemma \ref{lem: convergence quasi open}. Assume $