Euler's totient theorem