Example

Tag 03JB, permanent. Cite it as [Bourbaki, Tag 03JB].

Theory of Sets, chapter III, § 1. Order relations. Ordered sets

\* Let A be a ring with an identity element. The relation $(\exists z)(z \in \mathrm{A}$ and $y = zx)$ between two elements $x$ , $y$ of A is a preorder relation on A; it is read " $x$ is a right divisor of $y$ " or " $y$ is a left multiple of $x$ ". \*

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.