名前のない定理

グレブナー基底の教科書[1]の中にある次の記述が気になりました.p144 イデアルを三つの多項式で生成されるイデアルとする.このときの被約グレブナー基底のうちにはが含まれる.残念ながらこの元の論文にアクセスすることはできませんでした.そこでこの記述の証明ができないか考えているうちに仮想次元の方法とも呼ぶべきア…