“The proof is self-evident, and been left as an exercise for the reader.”