Redirecting to Taniyama–Shimura theorem