广中平祐证明了：当域 formula_1 的特征为零，则存在满足前两个条件的强奇点解消。他的建构后经多位数学家改进，以满足全部四个条件。
简史.代数曲线的奇点解消较容易，在19世纪已广为人知。证明方法不一：最常见的两种是相继拉开奇点，或取曲线的正规化。正规化消解的是所有余维度为一的奇点，因此仅适用于曲线。复代数曲面的奇点解消先后由 Beppo Levi（1899年）、O. Chisini（1921年）与 G. Albanese（1924年）给出非正式的说明。第一个严谨证明由