Corollary 3

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

— In a lattice ordered group, if x is coprime to y and to z, then it is also coprime to $y + z$ .

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

Cited by

Nothing.