f = x^2*(y-1)^2 + (x-1)^2*y^2 とかはどう？　いや、既約性にいまいち自身がないけど。