As for the hint the theorem goes as follows: let be a finite group so that is divisible by then the number of solutions to is a multiple of . However, there is one solution which is trivial, that is . That is the only solution that has order . While all other solutions have order . Thus, if is the number of elements of order then it follows that .