Example

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

If $A$ is principal, then $\operatorname{dh}(A) \leq 1$ .

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

Cited by

Nothing.

Nothing.