Криптография > Псевдослучайные последовательности > Рекуррентные двоичные > Теорема 1
 
 

Теорема 1

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

Это равенство доказывается тем, что все попарные произведения в f(x)**2 равны нулю над GF(2). Например,

(х**2+х+1)**2=х**4+x**2+1.