I also have an elegant proof, but it does't quite fit in a HN comment.
No support for symbols, amirite?