Proof of Wilson's Theorem