多項式の因数を見つけるための定理