# All natural numbers are interesting

Theorem: All natural numbers are interesting.1

Assume the theorem is false. Then there must be at least one number \in \N that is boring.

Let \mathbb{B} \subset \N be the set of boring numbers.

By the assumption, we have: