Aşağıdaki gibi düşünürsek tabiki yazılabilir:
f(x,y,z)=x2y, g(x,y,z)=xy3−y2
f(x,y,z)g(x,y,z)=x2y3(xy−1)∈Z[x,y]
Soru:
Ancak f polynomu içerisinde her değişken en az 1kere bile bulunuyorsa
ve g,h 2 tane farklı değişkenlerle yazılmışsa ve f=gh ise g veya h polynomunun en fazla f'deki kadar değişkenlerle yazılabildiğini gösterelim?
Daha matematiksel olarak f∈Z[x1,x2,...,xn]
Eğer (f)⊂(g)∈Z[x1,x2,...,...]sonsuz degişken
⇒g∈Z[x1,x2,...,xn]