That the identity map of the circle is not nullhomotopic. [When one thinks about it, it is pretty much equivalent to the Brouwer fixed point theorem, which is not as obvious.]
Lennart Meier
- 12.1k
- 4
- 73
- 107