Corollary 4

Tag 05P9, permanent. Cite it as [Bourbaki, Tag 05P9].

Let $a, b$ be two ideals in a commutative ring $C$ ; the $C$ -module $(C/a) \otimes_C (C/b)$ is then canonically isomorphic to $C(a + b)$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.