Theorem in Section 5 fixed