صيغة أويلر
أثبت أويلر أن جميع العوامل القاسمة لأعداد فيرما تكتبن على الشكل "k"2"n"+1 + 1 ليثبت بعده إدوارد لوكاس أنهن تكتبن على الشكل "k"2"n"+2 + 1. (أي أنه أثبت بأن k الذي جاء في صيغة أويلر زوجي).