Todo polinomio formula_152 de grado positivo tiene un factor irreducible.