Fixed proof of Theorem 1.4 and Section 5.2