Q.E.D.

Really, I couldn't put these any better if I had created them from scratch:

This leads to this.