fixed the proof