Una prueba independiente fue dada por Shigefumi Mori, usando métodos de geometría algebraica en características positivas.