simplify proof of lemma4