ローラン級数
which is again a formal Laurent series. If formula_142 is a non-constant formal Laurent series and with coefficients in a field of characteristic 0, then one has