Proposition 20
Tag 05A4, permanent. Cite it as [Bourbaki, Tag 05A4].
Algebra, chapter I, § 4. Groups and groups with operators
An integer is prime if and only if the group is a simple group.
This follows from Proposition 19.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.