Fermat's theorem
الحدسية الكبرى لهارفي فريدمان تعني أنه من الممكن البرهان على مبرهنة فيرما الأخيرة باستعمال الحسابيات الابتدائية.