Critical pair lemma