1: $ convergence, Lemma~\ref{lemliftingcompactness} implies that $