Division Algorithm Uniqueness over F[x], Superquiz 3 Problem 4

We prove that, for a field F, the division algorithm gives a unique quotient-remainder pair for polynomials in F[x]. The key idea in the proof is using the degree map.