Но для простых

задача элементарно доказывается.
Однако ... Впервые вижу подобные штуки.
Впрочем, не совсем впервые (нашел у себя аналогичное утверждение для многочлена

). Но ничего такого доказывать не умею.
-- Вс мар 28, 2021 12:17:56 --Кажется, начинает доходить: надо проверить, что

есть точный куб по модулю

. А, так это очевидно: ведь такое

, а значит, отображение

является биективным на

.
Спасибо!