"the proof is left as an exercise to the reader"