Move a lemma earlier