Oops. And the proof: