n > 2 için a^n + b^n = c^n olacak şekilde pozitif tam sayılar yoktur. (FLT) Bu tür tam sayılar olsaydı, eliptik eğri y^2 = x(x - a^n)(x + b^n) modüler özellikleriyle çelişen bir seviyeye sahip olacaklardı. Bu kanıt ve postQ kriptoları aynı izojini kavramını kullanır.

Belki de hoşumuza giden ilk sürpriz, uzunluğu (a,b,c €Q) olan bir dik üçgenin N alanı (=ab/2) €Q ise, bu, y^2 = x^3 - N^2 x'in rasyonel bir noktaya (x,y €Q) sahip olduğunu söylemekle aynıdır. Oldukça basit bir dönüşümle anlayabilirsiniz.