Không có số nguyên dương nào thỏa mãn a^n + b^n = c^n cho n > 2. (FLT) Nếu tồn tại những số nguyên như vậy, chúng sẽ có một cấp độ mâu thuẫn với các thuộc tính mô-đun của đường cong elliptic y^2 = x(x - a^n)(x + b^n). Chứng minh này và các loại tiền mã hóa postQ sử dụng cùng một khái niệm về isoginies.

Có thể bất ngờ đầu tiên mà chúng ta có thể tận hưởng là, nếu diện tích N (=ab/2) của một tam giác vuông với độ dài (a,b,c €Q) là €Q, thì điều đó cũng có nghĩa là y^2 = x^3 - N^2 x có một điểm hữu tỉ (x,y €Q). Bạn có thể nói điều đó với một phép biến đổi khá đơn giản.