Polished the proof