How do you do long division of polynomials with remainders?
It is the same but just instead of getting 0 you get a polynomial in the last step.
in this case you get a polynomial seven which can be writtten in algebraic terms as
so this can be proved using the division algoritm
dividend = divisor