Sobre formula_6, el AOP es irreducible cuando "m + 1" es primo p, y por ende en esos casos, el "p"-ésimo polinomio ciclotómico.