(性質p予想は2005年になってやっとピーター・クロンハイマーとトマス・ムロフカによって証明された。