P
Initializing...
Every terminating ideal has a factorization type, and this type is unique. · Prove2Me