Bogomolov-Miyaoka-Yau 不等式

關聯在 整數 上定義的曲線的不變數。如果這個不等式被證明是正確的，那麼對於足夠大的指數，費馬大定理 將會成立。宮岡宣稱在 1988 年證明了這個不等式，但是證明中包含一個錯誤。