Proved the corrected version of lemma4 in Charles' paper.