Как известно, среди натуральных чисел встречаются всякие "интересные" - скажем, простые, или разлагаемые в сумму не более чем трёх квадратов, или взаимно простые, или совершенные (числа, равные сумме всех своих делителей) и прочие, обладающие какими-то хитрыми свойствами.
Теорема: неинтересных натуральных чисел не существует.
Доказательство: предположим, что неинтересные натуральные числа существуют. Тогда существует и наименьшее неинтересное натуральное число. Но разве это само по себе уже не интересно?!