Manuscript XIX-B@1 · XIX-B.tex · corollary · b5670709
Corollary: Second-order terms do not repair the fixed mismatch
The first-order mismatch theorem · lines 1080–1095 · proof included or linked
XIX-B@1#cor:order
A correction starting at second coordinate order cannot make
equal modulo , while their displayed first coefficients remain fixed.
Proof. Equality modulo requires equality of the coefficient of . Theorem thm:mismatch disproves that equality.
Displayed formulas in this passage
unlabeled · line 1083