命題
A を可換環とし、A[[X]] を A 係数の１変数形式的べき級数環とする。
A が整域のときは、A[[X]] も整域である。

証明
>>45より、明らかである。