corrected proof