Examples (DIV)

Tag 0EEO, permanent. Cite it as [Bourbaki, Tag 0EEO].

1) An integer $p > 0$ is irreducible in $\mathbf{Z}$ if and only if it is prime (I, p. 50).

2) A polynomial in one indeterminate over a field K is irreducible if and only if it is irreducible in the usual sense (IV, p. 13).

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

Cited by

Nothing.