Here's the proof