In a cyclic group of order n, show that for each positive integer m that divides n (including m = 1 and m = n) there are exactly ϕ(m) elements of order m. Using this result, show that n = P m|n ϕ(m).