Shimura-Taniyama-Weil

Special case of elliptic curve.md and \(G\) is the Dynkin type \(A_1\).

Proved by Wiles et al to establish Fermat’s Last Theorem.