KKMS lemma