Over a local ring, a monic factorization `B C = B' C'` with `B ≡ B'` and `B̄, C̄` coprime is unique.

Initializing...

Over a local ring, a monic factorization `B C = B' C'` with `B ≡ B'` and `B̄, C̄` coprime is unique. · Prove2Me