$n$ es un número natural mayor que $3$ y denotamos todos los números coprimos positivos con $n$ como $1= b_1 < b_2 < \cdots b_k$. Para un entero positivo $m$ que es mayor que $3$ y es coprimo con $n$, sea $A$ el conjunto de tuplas $(a_1,a_2, \cdots a_k)$ que satisfacen la condición.\n$$\textbf{Condición}: \text{Para todos los enteros } i, 0 \le a_i < m \text{ y } a_1b_1 + a_2b_2 + \cdots a_kb_k \text{ es un múltiplo de } n$$\nPara los elementos de $A$, demuestre que la diferencia del número de elementos tales que $a_1 = 1$ y el número de elementos tales que $a_2 = 2$ máximo $1$