Corollary 3

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

Theory of Sets, chapter III, § 5. Properties of integers

Let $a$ , $b$ , $b'$ be integers (resp. integers such that $a > 0$ ). Then $a + b = a + b'$ (resp. $ab = ab'$ ) if and only if $b = b'$ .

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

§ 2. Identity element; cancellable elements; invertible elements
Corollary 4, § 5

Cites

Nothing.