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

Back to manuscript

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

Nearby in this section