Gromov's theorem on groups with polynomial growth has, I think, an amazing proof. It's where he introduced Gromov-Hausdorff distance and showed, using the solution to Hilbert's fifth problem, that a sequence of discrete groups, under the right assumptions, converges to a Lie group.