Factor theorem (source code)

= Factor theorem
{wiki}

For a polynomial $f$ over a field, $f(a)=0$ exactly when $X-a$ divides $f(X)$. Polynomial division gives $f(X)=(X-a)q(X)+f(a)$.

= Roots of a polynomial
{synonym}