[analog31]

This would make a great coding interview question. ;-)

Thinking about it, I'm wondering what a "proving interview" would be like for a mathematician.