(En lo que sigue utilizaremos el operador de extracción de coeficientes para la serie de potencias formales.) Tenemos