This reminds me a humorous theorem that all natural numbers are interesting. Indeed, assume the contrary, that the set of boring numbers is nonempty. Then there is the least boring number. But hey, this is interesting!
This reminds me a humorous theorem that all natural numbers are interesting. Indeed, assume the contrary, that the set of boring numbers is nonempty. Then there is the least boring number. But hey, this is interesting!
Apply the well-ordering principle, then everything is interesting!