١٩٨٨ يقدم عالم الرياضيات الياباني يوتشي ميوكا برهاناً لنظرية فيرما في الفعل الأدنى (تنص النظرية على أن العلاقة الرياضية xn+yn=zn غير قابلة للحل إذا كانت المتغيرات،، أعداداً صحيحية والمتغير n عدد صحيح أكبر من ٢). يكتشف في وقت لاحق عدم كفاية البرهان. تبرهن النظرية بشكل قاطع عام ١٩٩٤.