Gate C: coherence for the selected word

The residual total field degrees are $6,4,2,0$. This theorem is coherence for the selected word, not associativity for every triple whose individual factors happen to lie in ${\mathcal{P}}_{\Sigma }$.

A discrepancy in a nonconstant coefficient could not be moved into $cr$, since the scalar and nonconstant orders are distinct.