Polynomials for are defined by
Show that for every , and that if then .
Prove that if is any polynomial of degree with rational coefficients, then there are unique rational numbers for which
Let . Show that
Show also that, if and are polynomials such that , then is a constant.
By induction on the degree of , or otherwise, show that if for every , then for all .