Fix use of erroneous lemma