Example
Tag 05IU, permanent. Cite it as [Bourbaki, Tag 05IU].
Algebra, chapter I, § 9. Fields
(1) Let be a commutative ring. If is a maximal ideal of , is prime; the ring is a field (no. 1, Corollary 1 to Theorem 1).
(2) If is an integral domain, the ideal of is prime (but not maximal in general, as the example of the ring proves).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.