実際、これらが基底を形成することは、与えられた2つのザリスキー閉集合の交叉の公式から理解することができる(これを繰り返し、(s)の生成元によち生成される主イデアルへ適用する)。