Demuestra que si se eligen $4$ números (no necesariamente distintos) de $\{1, 2, \cdots, 20\}$ , se pueden elegir $3$ números entre ellos y se pueden etiquetar estos $3$ como $a, b, c$ tal que $ax \equiv b \;(\bmod\; c)$ tiene soluciones enteras.