You can also say about ham sandwich theorem.
That you cannot comb the ball properly.
The Banach fixed point theorem implies that when you put a map of your country into the ground there will always be a point on the map that is lying on itself.
It is possible to divide a ball into finiteley many pieces so that you can make out of them tho balls identical with the first one. (Banach-Tarski decomposition of the ball)
There are theorems in math that you cannot proof or disproof them. You can assume that they are true or not and in both case there would be no contradiction.
etc.
There many theorems in math that have interesting application in real life or are just really interesting. Once I heard that Krein-Millman theorem implies that you can cut a pizza with $k$ ingredients for $n$ persons so that everyone would have the same amount of each topping.