If `G_b ≡ S(B_bᵛ)` through degree `M` for every `b > 0`, then `S(P_sᵛ) · P_s ≡ 1` through degree `M`, where `P_s = eulerSer (-1) s`.

Initializing...

If `G_b ≡ S(B_bᵛ)` through degree `M` for every `b > 0`, then `S(P_sᵛ) · P_s ≡ 1` through degree `M`, where `P_s = eulerSer (-1) s`. · Prove2Me