, the subsequence consisting of the first
digits of the binary sequence
has linear complexity
. This conjecture is proved, and a minimum length generator is found for each
. The proof utilizes properties of an element in an extension field of the field of rational functions over GF
.