Description: The polynomial remainder
theorem, or little Bézout's theorem (by
contrast to the regular Bézout's theorem bezout12716). If a
polynomial is
divided by the linear factor , the
remainder is equal to , the evaluation of the polynomial at
(interpreted
as a constant polynomial). (Contributed by Mario
Carneiro, 26-Jul-2014.)