Prove substitution lemma