$g$ y $n$ son números naturales tales que $gcd(g^2-g,n)=1$ y $A=\{g^i|i \in \mathbb N\}$ y $B=\{x\equiv (n)|x\in A\}$ (por $x\equiv (n)$ queremos decir un número del conjunto $\{0,1,...,n-1\}$ que es congruente con $x$ módulo $n$ ) . Si para $0\le i\le g-1$ $a_i=|[\frac{ni}{g},\frac{n(i+1)}{g})\cap B]|$ demuestre que $g-1|\sum_{i=0}^{g-1}ia_i$ . (el símbolo $|$ $|$ significa el número de elementos del conjunto)