ТЕОРЕМА 1. Если f(x)-неприводимый многочлен над GF(2), то выполняется равенство f(x**2)=f(x)**2.
Это равенство доказывается тем, что все попарные произведения в f(x)**2 равны нулю над GF(2). Например,
(х**2+х+1)**2=х**4+x**2+1.