I have the proof, but there isn't room to write it in this margin.