La siguiente proposición muestra que es irreducible en formula_12.