Greetings, I'm trying to understand a theorem about partial feedback linearization from a paper "On the largest feedback linearizable subsystem" by R.Marino (you can find it here: …

Obviously you can exhaustively check that it lands on every state except the zero state, but for large LFSRs, this quickly becomes infeasible. Wikipedia states the following on i …