このとき商層I/I2{\displaystyle{\mathcal{I}}/{\mathcal{I}}^{2}}はより高次の項を法として対角線上消える関数の同値類からなる。
那么商层I/I2{\displaystyle{\mathcal{I}}/{\mathcal{I}}^{2}}由高阶项为0的等价类组成。