Congruence modulo `I^j M` is an equivalence relation, coarser for smaller `j`, and trivial for `j = 0`.

Initializing...

Congruence modulo `I^j M` is an equivalence relation, coarser for smaller `j`, and trivial for `j = 0`. · Prove2Me