y를 상수로 생각하고 계산해서 f(y)=0이 되는 식을 얻었는데, y의 값을 정해 놓고 계산한게 아니므로 y의 값에 어떤 수를 대입하더라도 성립해야 되는 식입니다. 다시 말해서 x-1로 나누어 떨어진다면 f(1)=0, x-3로 나누어 떨어진다면 f(3)=0이 되는데 x-y로 나누어 떨어지므로 f(y)=0이라는 식을 얻을수 있고 y의 값은 1이든 2든 3이든 항상 성립해야 됩니다. 즉, y에 대한 항등식이 되어야 합니다.