Lemma 3.5: covering lemma