#### matt grime

Science Advisor

Homework Helper

- 9,394

- 3

Since there is a bijection from N to a proper subset of itself (n to n+1) then there is a bijection from those sets to a proper subset of the sets, and defining it to be the identity for all other sets gives a contradiction to your corollary.