https://123dok.net/document/qmjknl67-measure-rigidity-for-algebraic-bipermutative-cellular-automata.html