Corollary

Tag 059X, permanent. Cite it as [Bourbaki, Tag 059X].

Let $a$ be an integer $> 0$ . The group $\mathbf{Z}/a\mathbf{Z}$ of rational integers modulo $a$ is a group of order $a$ .

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

Cited by

Nothing.