Notemos que formula_14 para todo formula_12 distinto de cero, pues formula_16 para todo formula_17 entero.