Redirecting to Fermat's theorem