全ての曲面xは極小非特異曲面と双有理であり、この極小非特異曲面はxが少なくとも小平次元が0であれば、あるいは代数的でないならば、一意に決まる。