Пусть 
означает 
, где 
применена 
раз.
Поскольку многочлен, то у него есть значение в любой точке. (*)
Докажем утверждение по индукции.
База: 
- это то, что дано по условию.
Переход:
Пусть для некоторого 
верно; Докажем, что из этого следует справедливость утверждения и для 
; Действительно, по предположению индукции множество решений уравнения 
совпадает с 
; Возьмем от обеих частей (благодаря (*) мы можем это сделать): 
; Но если сделать замену 
, получим 
; А множество решений этого уравнения лежит в ; Предположим, что есть некоторый элемент 
, такой, что для него не найдется 
, чтобы 
; Тогда 
, но 
лежит в , противоречие. Это завершает переход.
972-y+504=284
1476-y=284
y=1476-284
y=1192
643-(581-b)=292
643-581+b=292
62+b=292
b=292-62
b=230