Summing the pattern terms `scalar (divisorCount ε m · Y) · B · Π ψ_{i+1}(F_{S(a;j+1)})^{m(i,j)}` over the patterns `m` of weight `w` gives `scalar Y · B · patternSum ε a N w`.

Initializing...

Summing the pattern terms `scalar (divisorCount ε m · Y) · B · Π ψ_{i+1}(F_{S(a;j+1)})^{m(i,j)}` over the patterns `m` of weight `w` gives `scalar Y · B · patternSum ε a N w`. · Prove2Me