Krull intersection: in a Noetherian local ring, `⋂ₙ (J + Iⁿ) = J` for every proper `I`.

Initializing...

Krull intersection: in a Noetherian local ring, `⋂ₙ (J + Iⁿ) = J` for every proper `I`. · Prove2Me