Through degree `n`, `ψ_m(B_a) - 1` is the finite sum `Σ_{r < n} ψ_m(F_{S(a;r+1)}) x^{m(r+1)}`.

Initializing...

Through degree `n`, `ψ_m(B_a) - 1` is the finite sum `Σ_{r < n} ψ_m(F_{S(a;r+1)}) x^{m(r+1)}`. · Prove2Me