Corollary 2

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

— In a lattice ordered group, if x and y are coprime and if z $\geq 0$ and $x \leq y + z$ , then $x \leq z$ .

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

Cited by

Nothing.

Nothing.