Manuscript Em01-D@2 · Em01-D-v2.tex · corollary · d3b49151
Corollary: Reconstruction descent
Coefficient calculation and remainder proof › Uniqueness and reconstruction-safe extraction · lines 1508–1522 · proof included or linked
Em01-D@2#cor:descent
Two presentations of the same actual internal kernel have identical extracted nonsummable coefficients and finite parts whenever the theorem applies.
If a presentation reconstructs to zero, all its extracted nonsummable coefficients and its finite part are zero.
Proof. The positive-scale families are identical by Theorem thm:translation. Apply Proposition prop:uniqueness.