What do we get if we fix a positive integer, and take the sum of Euler’s totient function applied to each positive divisor of the original integer? Incredibly, it returns the original integer. This means that the summation function of Euler’s totient function is the identitiy function. We prove this fact using an out-of-the-blue double counting argument.