Corollary: What this additional exclusion means

The following shortcut is excluded for the retained numerical incidence:

Assign symbols to the already defined retarded/attachment factor and cross-line factor, and then invoke the ordinary diagonal-pullback theorem without any further characteristic analysis.

This exclusion does not establish failure of cancellation of the complete grouped six-branch coefficient.

Proof. The theorem supplying the proposed final pullback requires the absent normal-set condition, as Theorem thm:pullbackfailure shows.

The calculation concerns two elementary numerical factors of a retained incidence. It neither constructs nor evaluates the complete tensor and branch sum in (eq:target). It also does not analyze that sum's lower-order terms. No full cancellation conclusion follows.