多項式P(x)=x^2-y^2を考える。yは定数。
そこでP(y)=0だから因数定理よりx-y|P(x)
また、P(-y)=0なのでx+y|P(x)
P(x)はモニックな2次の多項式だから
P(x)=(x-y)(x+y)と因数分解される。

続きは数学の質問スレでどうぞ。