因数定理
f を n 個の変数 X1, X2, ..., Xn の多項式、g を X1 以外の n − 1 個の変数 X2, ..., Xn の多項式とする。