Notemos que formula_16 para todo formula_14 distinto de cero, pues formula_18 para todo formula_19 entero.