I thought I would post (as a puzzle) one of my favourite results in combinatorics. I actually use variants of this result in research quite often. It's not impossible that someone will post an unexpected proof that could be used in future research. But even if that does not occur, I hope it will be a fun exercise.
An orthomorphism of the cyclic group $\mathbb{Z}_n$ is a permutation $\sigma:\mathbb{Z}_n \rightarrow \mathbb{Z}_n$ such that $i \mapsto \sigma(i)-i$ is also a permutation.
Prove that orthomorphisms of $\mathbb{Z}_n$ exist if and only if $n$ is odd.
Actually, one direction is easy: $\sigma(i)=2i$ is an orthomorphism of $\mathbb{Z}_n$ when $n$ is odd. So what's left is to prove the non-existence of orthomorphisms of $\mathbb{Z}_n$ when $n$ is even.