Let n be a positive integer. Let a be an integer such that gcd(a,n)=1. Prove that
naϕ(n)−1=i∈R∑ai1[nai](modn)
where R is the reduced residue system of n with each element a positive integer at most n. modular arithmeticfloor functionnumber theory proposednumber theory