Redirecting to Shimura–Taniyama theorem