Exercice 3, § 3

Soit $A$ un anneau cohérent à droite ($§ 2$, exerc. 11). Pour qu’un produit de $A$-modules à gauche soit fidèlement plat, il suffit que chacun d’eux soit plat et que l’un d’eux au moins soit fidèlement plat.

En déduire que, si $A$ est un anneau commutatif cohérent, l’anneau de séries formelles $A[[X_1, \ldots, X_n]]$ est un $A$-module fidèlement plat.