Cleaned the proof