Corollary: No cancellation between distinct insertion orders

In a realization supported on the response incidence and preserving normal order at most three, lower insertion orders cannot replace a missing coefficient at a different insertion order.

Proof. Every coefficient is independently extracted by the corresponding ${\mathsf{J}}_{\gamma }$ test. Thus a finite sum of changes at other insertion orders has zero extracted coefficient at order $\gamma$.