There is an elegant proof of that theorem that uses the pigeon-hole principle, and yet I find the result ... charming.
It can also be generalised to other bases, etc. There's more going on.
But this question is not about this. This question is about other examples of the PHP giving a nice, clean, elegant proof of a non-obvious statement.