Improved statement of theorem 3.3