It is sometimes the case that one can produce proofs of simple facts that are of disproportionate sophistication which, however, do not involve any circularity. For example, (I think) I gave an example in this M.SE answer (the title of this question comes from Pete's comment there) If I recall correctly, another example is proving Wedderburn's theorem on the commutativity of finite division rings by computing the Brauer group of their centers.


  Do you know of other examples of nuking mosquitos like this?


Irrationality of $2^{1/n}$ for $n\geq 3$: if $2^{1/n}=p/q$ then $p^n = q^n+q^n$, contradicting Fermat's Last Theorem.  Unfortunately FLT is not strong enough to prove $\sqrt{2}$ irrational.

I've forgotten who this one is due to, but it made me laugh. EDIT: Steve Huntsman's link credits it to  W. H. Schultz.
