The covering lemma for K