Theorem: All positive integers 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.