corrected proof of theorem 2.1