Power series
定数項が 0 の形式的冪級数は、別の冪級数に代入することができる。すなわち、formula_7 とすると、 は 次以下の項をもたないので、合成