Renamed a lemma.