At last prove lemma4.