设M是有末端奇点的n维正规代数簇, L是M上的丰富线丛,（M, L）的数字有效值为τ=u/v（u，v是互素的正整数）, σ:M→W是由（M, L）决定的nef值态......

设肘是仅有Gorenstein有理可分奇点的n维正规射影簇，L是M上的丰富线丛，τ是（M，L）的nef值．当n-7〈τ〈n-6时，证明了dimM≤14，并且对dimM=12，1......