Niech będzie dodatnią liczbą całkowitą. Zauważmy, że każda mniejsza od wielokrotność liczby

jest podzielna przez sumę swoich cyfr. Rzeczywiście, suma cyfr każdej takiej liczby jest nie większa od i podzielna przez więc jest dzielnikiem liczby a tym bardziej dowolnej jej wielokrotności.

Wystarczy więc udowodnić, że dla każdego można dobrać takie aby spełniona była nierówność

a szukany ciąg arytmetyczny będą wówczas tworzyły liczby dla

Zauważmy, że każda liczba pierwsza wchodzi do rozkładu liczby na czynniki pierwsze z wykładnikiem a zatem nie większym od Wobec tego

gdzie mnożenie przebiega liczby pierwsze oraz skorzystaliśmy z nierówności zasugerowanej we wskazówce do zadania (prawdziwej dla gdzie jest pewną dodatnią liczbą całkowitą).

Ponieważ więc dla pewnej dodatniej liczby całkowitej Do zakończenia rozwiązania wystarczy przyjąć