>>595>>597>>618
ｆ（ｓ＾３，ｓ＾２ｔ，ｓｔ＾２，ｔ＾３）＝０のとき
ｆ（ｘ，ｙ，ｚ，ｗ）のｘの最高次の次数が正ならその係数の各項は
ｚかｗを含むからｆ（ｘ，ｙ，ｚ，ｗ）からｘｚ−ｙ＾２とｘｗ−ｙｚの倍数を引いて
ｘを含まないようにできる。
その残りのｙの最高次の次数が正ならその係数の各項は
ｗを含むから残りからからｙｗ−ｚ＾２の倍数を引いて
ｙを含まないようにできる。
ｚ，ｗからなる多項式にｚ＝ｓｔ＾２，ｗ＝ｔ＾３を代入して０になるのは
０だけだからｆ（ｘ，ｙ，ｚ，ｗ）はｘｚ−ｙ＾２とｘｗ−ｙｚとｙｗ−ｚ＾２の倍数の和。