Do you really want to send ariels a message saying you like their work?
I have discovered a beautiful proof of this theorem, but this node is too short to write it down.