>>819
R[[X]]はR上の形式的冪級数環のことなんですが,
816の命題は成り立たないんですか??

>Rが多項式環でも反例がある
その反例教えてくれませんか?