A degree-`d` form in a regular pair `(t, x)` with a coefficient outside `(t, x)` does not lie in `(t, x)^(d+1)`.

Initializing...

A degree-`d` form in a regular pair `(t, x)` with a coefficient outside `(t, x)` does not lie in `(t, x)^(d+1)`. · Prove2Me