El polinomio mínimo es irreducible, y cualquier otro polinomio no nulo "f" que cumpla "f"(α) = 0 es un múltiplo de "p".