>>56の修正
>F を可換環とし、A = F[[X]] を F 係数の１変数形式的べき級数環とする。

F を可換体とし、A = F[[X]] を F 係数の１変数形式的べき級数環とする。