Redirecting to Proth's theorem