A Missing lemmas for the proof of Theorem 3.1