Add counterexample to lemma.