If we divide a polynomial f(x) by (x - c), and (x - c) is a factor of the polynomial f(x), then the remainder of that division is simply equal to 0. Thus, according to this theorem, if the remainder of a division like those described above equals zero, (x - c) must be a factor.
