proof of reduction lemma