Det er ingen positive heltall slik at a^n + b^n = c^n for n > 2. (FLT) Hvis slike heltall eksisterte, ville de ha et nivå som motsier de modulære egenskapene til den elliptiske kurven y^2 = x(x - a^n)(x + b^n). Denne proof- og postQ-kryptoen bruker det samme konseptet med isoginier.

Kanskje den første overraskelsen vi kan glede oss over er at hvis areal N (=ab/2) i en rettvinklet trekant med lengde (a,b,c €Q) er €Q, er det det samme som å si y^2 = x^3 - N^2 x har et rasjonelt punkt (x,y €Q). Du kan se det med en ganske enkel transformasjon.