Manuscript II@2 · II.tex · proposition · 50d64def
Proposition: Complete response factorization
Ward reduction and coupling factorization › Factorization on the whole locked domain · lines 901–918 · proof included or linked
II@2#prop:factorization, II@2#eq:factorization
On ,
Proof. The displayed species cases exhaust all four-leg words. They establish when leg one is replaced. Simultaneous relabeling moves any replaced leg to position one. The additional quartic contacts contribute linearly by definition.
Displayed formulas in this passage
II@2#eq:factorization · line 904