Theorem 2.4.5 in Herstein's book says if $G$ is a finite group of order $n$ then $a^n = e$ for all $a$ in $G$. 

Is this a typo? I know the order of each element must divide $n$, but must it equal the order of the group?