Построение подстановок с использованием разрядно-подстановочных преобразований модуля над кольцом Галуа характеристики 4

Решается задача построения нелинейных подстановок на пространстве большой размерности с использованием только матрицы над кольцом Галуа характеристики 4 и разрядной функции этого кольца. Каждая такая подстановка может быть представлена как вектор-функция, у которой координатными функциями являются многочлены над полем. Ранее был анонсирован результат о построении подстановок из рассматриваемого класса, у которых ровно две координатные функции являются нелинейными. Здесь приводится полное доказательство этого результата.