Nu există numere întregi pozitive astfel încât a^n + b^n = c^n pentru n > 2. (FLT) Dacă astfel de numere întregi ar exista, ar avea un nivel care contrazice proprietățile modulare ale curbei eliptice y^2 = x(x - a^n)(x + b^n). Această dovadă și criptomonedele postQ folosesc același concept de izogine.

Poate că prima surpriză de care ne putem bucura este că, dacă zona N (=ab/2) a unui triunghi dreptunghic cu lungime (a,b,c €Q) este €Q, este la fel ca și cum ai spune y^2 = x^3 - N^2 x are un punct rațional (x,y €Q). O poți spune cu o transformare destul de simplă.