لا توجد أعداد صحيحة موجبة مثل a ^ n + b ^ n = c ^ n ل n > 2. (FLT) إذا كانت مثل هذه الأعداد الصحيحة موجودة ، فسيكون لها مستوى يتعارض مع الخصائص المعيارية للمنحنى الإهليلجي y ^ 2 = x (x - a ^ n) (x + b ^ n). تستخدم عملات التشفير هذه البرهان و postQ نفس مفهوم متساوي الجين.

ربما تكون المفاجأة الأولى التي يمكننا الاستمتاع بها هي ، إذا كانت المساحة N (= ab / 2) لمثلث قائم الزاوية بطول (a ، b ، c €Q) هي €Q ، فهي نفس القول y ^ 2 = x ^ 3 - N ^ 2 x لها نقطة منطقية (x ، y €Q). يمكنك معرفة ذلك بتحول بسيط للغاية.