update the lemma 4.2