Existence and uniqueness of invariant Haar measure on a locally compact topological group.

It is used in harmonic analysis and number theory. It is not so difficult a result to state but a proof is not so commonly seen in books. The measure allows one to define an integral on the group and do analysis.