Let be a Field.
Let be nonempty and define
Let be a polynomial satisfying
for all .
Then there are some satisfying
with total degrees
Proof
Reduce for each so that we get remainder ,
as well coefficients such that
with degrees .
Note that for every
Also all vanish for each so .
We can prove by induction that then .