- Step 1: local CW structure at u, w (F_R = F_{ab}^u = F_{ca}^w, etc.)
- Step 2 (new, complete): K_1 \ e leaves u into In(K_0) and arrives at w
from Out(K_0), so it crosses K_0 an odd number of times. Each crossing
uses a shared a-edge, so |E(K_0) ∩ E(K_1)| is even and ≥ 2. Closes
the case of a single shared edge.
- Step 3 (new, complete): Heawood's face-sum identity ∑ h_φ ≡ 0 (mod 3)
applied to every H-face inside a face Φ of K_0 ∪ K_1, with
multiplicity bookkeeping at degree-3 vs degree-2 boundary vertices,
yields ν_{2,Φ} ≡ -ℓ_Φ (mod 3) for every face Φ.
- Step 4 (open): use Lemma 5.2 alternation to force ν_{2,Φ} on some
face, and exhibit a violation.
Literature search via research-analyst confirms the theorem is novel
(Heawood face-sum and the +/-1 rotation sign are classical; no result
relating intersecting Kempe cycles via vertex signs found).
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
didericis
a36271a2cf
