P
Initializing...
Two polynomials agree modulo `I` iff their coefficients do, and coefficientwise congruence mod `I` is preserved by finite products. · Prove2Me