Interesting numbers
Proposition 0.1 -- All natural numbers are interesting.
"Proof"
Example