Dividing a polynomial by x − c with synthetic division takes a few multiply-and-add steps, and the remainder is exactly P(c). That's Horner's method, the way calculators and computers evaluate polynomials. When the remainder is zero, x − c is a factor.