State/Computing the totient of a prime power

 =Proof=