critical pair lemma