See the proof