Il n'existe pas d'entiers positifs tels que a^n + b^n = c^n pour n > 2. (FLT) Si de tels entiers existaient, ils auraient un niveau qui contredirait les propriétés modulaires de la courbe elliptique y^2 = x(x - a^n)(x + b^n). Cette preuve et les cryptos postQ utilisent le même concept d'isogénies.

Peut-être que la première surprise que nous pouvons apprécier est que, si l'aire N (=ab/2) d'un triangle rectangle avec des longueurs (a,b,c €Q) est €Q, c'est la même chose que de dire que y^2 = x^3 - N^2 x a un point rationnel (x,y €Q). Vous pouvez le dire avec une transformation assez simple.