Доказать:
если
при рацион.

, то

.
Вот такое док-во:
Будем считать, что все отличны от

.
(равенство одного

, влечет равенство
остальных)
Разделим на

, введем
тогда,
Причем

и

- рацион.
Пусть

(

- целые)
и эти дроби несократимы.
Тогда
Последовательно получаем, что

, потом

- четные. Далее

- четное, а
значит, что дроби сократимы. Противоречие.
Верное док-во?