In the concrete surface, the image of `s` minus its constant coefficient lies in the parameter ideal `(t, x)`.

Initializing...

In the concrete surface, the image of `s` minus its constant coefficient lies in the parameter ideal `(t, x)`. · Prove2Me