Theorem 3.2 fixed