Theta Residue

Paper source: eq:multDiffMarkedPts and cor:evenlyMarkedKGT. The one-strand prefix identity, together with the common reduced ratio, already gives the multi-strand annihilation at the gcd period.

theorem Bananas.evenlyMarkedTheta_multiple_principal (B : Banana 2) (α β : Fin 3) (i : Utilities.Certificate.SubdivisionGraph.Spec.PathPosition B α) (j : Utilities.Certificate.SubdivisionGraph.Spec.PathPosition B β) (hEven : EvenlyMarkedTheta B α β i j) : linearEquiv (Utilities.Certificate.SubdivisionGraph.Spec.graph B) (↑(B.length α / (B.length α).gcd ↑i) • (oneChip (strandVertex B α i) - oneChip (strandVertex B β j))) 0