Tout groupe d'ordre n est cyclique ssi n^phi(n)=1 [?]

Note de la modération : je crois que ce théorème est faux car Z/4Z et un groupe cyclique d'ordre 4. Or phi(4) = 2 n'est pas premier avec 4. Donc l'équivalence semble fausse.