State/Multiplicativity of the totient

 =Proof=