Manuscript IX-E@1 · IX-E.tex · proposition · 8f8d5e7f

Proposition: Classical multiplication is not a solution

E1: ordered-data consistency › The complete first-stage commutator calculation · lines 702–714 · proof included or linked

Back to manuscript

The symmetric candidate fails factorization on the inherited ordered slab witness.

Proof. On that witness and

The candidate has no such coefficient.

Displayed formulas in this passage

  • unlabeled · line 709

Nearby in this section