Redirecting to Fermat's theorem on sums of two squares