El siguiente corolario a la proposición anterior es clave para la demostración de que formula_17 es DFU cuando formula_18 lo es.