“The proof is left as an exercise …”