Corollary 4

Tag 06XH, permanent. Cite it as [Bourbaki, Tag 06XH].

Algebra, chapter VI, § 1. Ordered groups. Divisibility

— If $(x_i)$ and $(y_j)$ are two finite families of elements of A such that each $x_i$ is coprime to each $y_j$ , then the product of the $x_i$ is coprime to the product of the $y_j$ .

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

Cited by

Corollary 5, § 1

Cites

Nothing.