Si resultara que formula_31 fuera primitivo, tendríamos que sus factores irreducibles en formula_15 serían iguales a sus factores en formula_16, ver la proposición 5.