corrected a few things in the proof