习题 3, § 3

令 $A$ 为右相干环 ($§ 2$, 习题 12)。为了使左侧 $A$ 模块中的乘积忠实平坦，只要它们中的每一个都是平坦的并且其中至少一个是忠实平坦的就足够了。

推断，如果 $A$ 是连贯的交换环，则形式幂级数 $A[[X_1, \ldots, X_n]]$ 的环是忠实平坦的 $A$ 模。