Proof. Assume uninteresting positive integer. => smallest uninteresting +int exisits But the smallest uninteresting +int is interesting.
0
1
0
0
0