The Euler's totient function (n) denotes the number of positive integers less than or equal to n and relatively prime to n, that is, the number of elements of the set k1kn$,and$gcd(k,n)=1.If the prime decomposition of the positive integer n is n=pa11pa22...pakk,then (n)=n(11p1)(11p2)(11pk),and, using this formula, a computational proof of our assertion is possible. However, we will present a simpler proof, based on counting arguments.Consider the fractions 1n,2n,3n,,n1n,nn. Obviously, there are n such fractions (this is not a silly observation; just the first way to count them). Now, consider the same fractions in their lowest terms. Obviously, their denominators are divisors of n.How many of them have still the denominator equal to n? Clearly, those whose numerator was relatively prime to n, that is,(n). How many have now the denominator equal to some d, where d is a divisor of n? In every such fraction, the numerator has to be less than or equal to d and relatively prime to d,hence there are (d) such fractions. We thus obtained dn(d)=n, as desired.