The bilinear insertion remains a different question

For the hypotheses of VII-B, the supplied exclusion theorem provides precisely the excluded coefficient for nonzero smearing. Its subsequent formal retarded identity is conditional on existence of its terms and stops at the insertion-domain prerequisite VIIb (Theorem thm:main; consequences, lines 1216–1325). Proposition prop:bilinear preserves that scope. It is not a universal obstruction to all larger domains or modified observables.