Sea $p > 3$ un número primo y $x$ un entero, denotemos por $r(x) \in \{0, 1, ..., p - 1\}$ al resto de $x$ módulo $p$. Sean $x_1, x_2, ..., x_k$ ($2 < k < p$) enteros distintos módulo $p$ y no divisibles por $p$. Decimos que un número $a \in \{1, 2, ..., p - 1\}$ es bueno si $r(a x_1) < r(a x_2) < ... < r(a x_k)$. Demostrar que hay a lo sumo $\frac{2 p}{k + 1} - {1}$ números buenos.