Sean $ a_1, a_2, \ldots , a_n$ enteros positivos distintos y sea $ M$ un conjunto de $ n - 1$ enteros positivos que no contienen a $ s = a_1 + a_2 + \ldots + a_n.$ Un saltamontes debe saltar a lo largo del eje real, comenzando en el punto $ 0$ y haciendo $ n$ saltos a la derecha con longitudes $ a_1, a_2, \ldots , a_n$ en algún orden. Demuestra que el orden se puede elegir de tal manera que el saltamontes nunca aterrice en ningún punto de $ M.$