If `G_b ≡ S(B_bᵛ)` through degree `M` for all `b > 0`, then `U_{a,b}` is unitary, `U_{a,b} U_{a,b}† ≡ 1`, through total contact degree `2M + 1`.

Initializing...

If `G_b ≡ S(B_bᵛ)` through degree `M` for all `b > 0`, then `U_{a,b}` is unitary, `U_{a,b} U_{a,b}† ≡ 1`, through total contact degree `2M + 1`. · Prove2Me