Remark

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

We deduce from d) that $|x| = 0$ implies $x = 0$ (for $x^+$ and $x^-$ are positive); thus $x \neq 0$ implies $|x| > 0$ .

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

Cited by

Nothing.

Nothing.