Let First we will show ^eq1. First note that the RHS is clearly a vector subspace, so it suffices to show that for all . Applying the division algorithm for polynomials

where . But

so .

For the second statement, let . It follows from above that to every there corresponds a unique with such that . Let be the map

Now is a ring isomorphism, since for any

with an inverse by the evaluation map .