消，则 formula_2 必然是拟优概形。格罗滕迪克猜测其逆为真，换言之：如果一个局部诺特概形 formula_2 是拟优且既约的，则可以消解奇点。当 formula_2 定义于一个零特征的域上时，此陈述能由广中平祐的定理导出；一般情形则化约到整完备局部环的奇点解消问题。