Theorem: All Positive Integers Are Interesting
Theorem: All positive integers are interesting.
Proof: Assume the contrary. Then there is a lowest non-interesting positive
integer. But, hey, that's pretty interesting! A contradiction.
Rating: 7/10
