corrected version of the proof