Sea formula_190 un número entero y definamos formula_191 como la reducción módulo formula_190 de los coeficientes de formula_31, es decir que formula_194.