Redirecting to Wilson's theorem