Albanese（1924年）给出非正式的说明。第一个严谨证明由 Robert J. Walker 于1935年给出。对所有零特征域均成立的代数证明由扎里斯基于1939年给出。S. S. Abhyankar 证明正特征域上的情形（1956年）。所有二维优概形（包括所有算术曲面）的奇点解消由 Lipman 在1978年证出。消解曲面奇点的通常办法是不断将曲面正规化（以消去余维为一的奇点）并拉开奇点（以改善余维为二的奇点，但是可能会增加新的余维一的奇点）。对于三维情形，零特征域上首先由扎里斯基证明（19