多項式環上の射影加群についてのセールの予想の解決も
結局は素イデアルを点と見なす考え方の勝利であった