Es gibt keine positiven ganzen Zahlen, so dass a^n + b^n = c^n für n > 2. (FLT) Wenn solche ganzen Zahlen existieren würden, hätten sie ein Niveau, das den modularen Eigenschaften der elliptischen Kurve y^2 = x(x - a^n)(x + b^n) widerspricht. Dieser Beweis und postQ-Kryptos verwenden dasselbe Konzept von Isogenien.

Vielleicht ist die erste Überraschung, die wir genießen können, dass, wenn der Bereich N (=ab/2) eines rechtwinkligen Dreiecks mit den Längen (a,b,c €Q) €Q ist, es dasselbe ist wie zu sagen, dass y^2 = x^3 - N^2 x einen rationalen Punkt (x,y €Q) hat. Man kann es mit einer ziemlich einfachen Transformation sagen.