Лемма: существует такое y-значное число вида XX...X (т.е. состоит из целиком из цифр X) такое, что оно делится на число 1987
Доказательство: число указанного вида можно представить в виде
; Сперва очевидно, что 
делится на 9. Согласно малой теореме Ферма 
, так как 1987 - число простое. Так как 9 и 1987 взаимно просты, то число XX...X делится на 1987 для n+1=1986, т.е. для n=1985.
Итак, взяв например n=1985 получим число 1...19...98...86...6, которое раскладывается как 
, где каждое из чисел вида X...X делится на 1987
2x-x=13-6
x=7
20-4x=3x-1
-4x-3x=-1-20
-7x=-21
x=3
5x-5=4x+3
5x-4x=3+5
x=8