For a positive integer n, define the set Sn as Sn={(a,b)∣a,b∈N,lcm[a,b]=n} . Let f(n) be the sum of ϕ(a)ϕ(b) for all (a,b)∈Sn. If a prime p relatively prime to n is a divisor of f(n), prove that there exists a prime q∣n such that p∣q2−1. number theoryEuler s totient functionrelatively primecoprimedivisor