Manuscript XIV-D@1 · XIV-D.tex · corollary · 1a7f173d

Corollary: No full cancellation verdict follows

D2: the full joint-symbol test › A full fiber-tensor check for B 6 · lines 1184–1198 · proof included or linked

XIV-D@1#cor:branch

Back to manuscript

Proposition prop:B6tensor proves neither cancellation nor failure of cancellation of (eq:retainedfull). It does not justify advancing to D3 on the premise that complete-pair cancellation has failed.

Proof. The complete retained germ is the six-branch expression of Theorem thm:incidence. The proposition computes only one branch's leading differential numerator. It supplies no sum identity or sum nonvanishing theorem for that complete expression.

Nearby in this section