If `(c)` is prime in `A`, then `(c, X s)` is prime in `A[[X 0, X 1]]`: it is the kernel of killing `X s` and reducing the coefficients modulo `c`, with values in the domain `(A/(c))[[Y]]`.

Initializing...

If `(c)` is prime in `A`, then `(c, X s)` is prime in `A[[X 0, X 1]]`: it is the kernel of killing `X s` and reducing the coefficients modulo `c`, with values in the domain `(A/(c))[[Y]]`. · Prove2Me