At a prime power `Q`, the coefficients of the law of a valid state, and of all its descents, are nonnegative.

Initializing...

At a prime power `Q`, the coefficients of the law of a valid state, and of all its descents, are nonnegative. · Prove2Me