Let be a field, and let be a polynomial of degree . Let bars denote passage to . Prove that for every there is a unique such that has degree less than and .
Recall that is a Euclidean domain. By the division algorithm, then, there exist and such that and has degree less than . Certainly then . Moreover, we know is unique from the proof that is a Euclidean domain.