Corollary 1
Tag 06ON, permanent. Cite it as [Bourbaki, Tag 06ON].
Algebra, chapter V, § 11. Abelian extensions
Let be a cyclic group of order and let be a divisor of . Then the number of elements of order in is equal to . In particular, is the number of generators of .
Since is isomorphic to , the number of generators of is equal to by Prop. 3. Let be a generator of ; then the elements of such that constitute the subgroup of generated by ; this group is cyclic of order and the elements of order of are the generators of , hence their number is .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.