An Overkill Proof of Wilson’s Theorem Using a Sylow Theorem We prove Wilson’s theorem, which is an elementary result in number theory, using one of the Sylow theorems.