If `P` has nonzero constant coefficient over a domain, then `X s` is a nonzerodivisor modulo `P`.

Initializing...

If `P` has nonzero constant coefficient over a domain, then `X s` is a nonzerodivisor modulo `P`. · Prove2Me