If `g ≡ h` below degree `n`, then the degree-`n` coefficients of `P_w(g)` and `P_w(h)` differ by `w` times those of `g` and `h`.

Initializing...

If `g ≡ h` below degree `n`, then the degree-`n` coefficients of `P_w(g)` and `P_w(h)` differ by `w` times those of `g` and `h`. · Prove2Me