Your Very Own Theorem

Too many term papers to grade? Tenure clock running? Don't have the time to crank out a new theorem today? Fear not! TheoryMine can come to your rescue. As they so delightfully explain: "You can name your very own mathematical theorem, newly generated by one of the world's most advanced computerised theorem provers (a kind of robot mathematician), and you can immortalise your loved ones, teachers, friends and even yourself and your favourite pets". And: "You can buy new theorems which become you