То есть для наперед заданного

мы можем для каждого

выбрать числа

, чтобы получить соответствующие равенства. Дело в том, что всегда

существует простое

такое, что

взаимно просто с

.
...

утверждение не очевидное, но оно следует из того, что между

и

всегда найдется простое. Если

- простое, просто берем

.
Иначе: если

, берем простое

. Если

, берем простое

(но

заведомо составное, поэтому

). Видно, что

, поэтому в разложении

множитель

встретится только один раз.
. На мой взгляд условие с частным случаем было достаточно сложным для школьников. Насколько я знаю для каждой задачи не более часа было отведено.