因数定理
多項式 f(x) が一次式 x − α を因子に持つ必要十分条件は f(α) = 0、すなわち α が多項式 f(x) の根となることである。