Definition 2

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

With the notations of Theorem 1, the pair $(s, t)$ is called the signature of $\Phi$ .

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

Cited by

Nothing.

Nothing.