For pairwise distinct monic irreducible polynomials `φᵢ`, the intersection of the ideals `(φᵢ^rᵢ)` is generated by `∏ φᵢ^rᵢ`.

Initializing...

For pairwise distinct monic irreducible polynomials `φᵢ`, the intersection of the ideals `(φᵢ^rᵢ)` is generated by `∏ φᵢ^rᵢ`. · Prove2Me