added an elaborate proof for lemma 4.4