Fijado un entero formula_23, de la igualdad formula_24 se deduce que formula_25.