Two degree-`d` forms in `t, x` whose coefficients agree modulo the maximal ideal differ by an element of `𝔪 ^ (d + 1)`.

Initializing...

Two degree-`d` forms in `t, x` whose coefficients agree modulo the maximal ideal differ by an element of `𝔪 ^ (d + 1)`. · Prove2Me