Prove lemma