Bogomolov-Miyaoka-Yau Inequality

يتصل الثوابت من منحنى تعريف على الأعداد الصحيحة .

إذا ثبت أن عدم المساواة هذا صحيح 

 فإن نظرية فيرمات الأخيرة ستتبعها لأسماء كبيرة بما فيه الكفاية. 

زعم Miyaoka أنه أثبت عدم المساواة هذه في عام 1988 

لكن الدليل تضمن خطأ.