One of the important facts about the algebra of polynomials is that the division algorithm works for polynomials. In fact, division with remainder is somewhat easier for polynomials than it is for numbers, since there is no guessing and carrying involved. The theorem states that
Theorem 1
If and are polynomials over the field then there are polynomials and which are unique up to a factor in , such that
and the degree of is less than the degree of
The algorithm looks just like long division of numbers, only using powers of as place holders instead of powers of 10: