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

Proved by Wiles et al to establish [Fermat's Last Theorem](Fermat's Last Theorem).