Период функционирования генератора псевдослучайных чисел RC4

Рассмотрен генератор RC4, представленный последовательным соединением автономного полноциклового автомата с неавтономным автоматом, состояниями последнего являются пары: подстановка степени 2ⁿ и вычет из кольца вычетов по модулю n. Доказано, что периоды последовательностей подстановок кратны числу 2^n-1, даны достаточные условия, при которых эти периоды кратны 2ⁿ.