This question already has an answer here:
In chapter 11 of Contemporary Abstract Algebra I learned Lagrange theorem:
If $G$ is a finite group and $H$ is a subgroup of G, then $|H|$ divides $|G|$
and one of its corollaries:
In a finite group, the order of each element of the group divides the order of the group
In the exercise I've been asked to prove, using that corollary, that the order of the multiplicative group of integers modulo $n$ is even when $n>2$. Or in other words, that the Euler $\phi(n)$ is even for all $n>2$.
I've seen some proofs of that claim but non are based on that corollary. How can I prove that using the corollary above?