Por inducción, sigue entonces que formula_50 y formula_51 (polinomios en varias indeterminadas) son DFUs.