Remark 3

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

If the ideal $\alpha$ of the noetherian ring A is generated by m elements, one has $\mathrm{ht}(\alpha) \leq m$ . This follows at once from Prop. 4.

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

Cited by

Nothing.

Nothing.