Cites original lemma.