The principle that (x − r) is a factor of a polynomial P(x) if and only if P(r) = 0 — that is, r is a root. It lets a student test factors by substitution rather than long division.