Primideal/Vermeidung/Zwei Ideale/Fakt

Primvermeidung

Es sei ein kommutativer Ring, Ideale und eine endliche Familie von Primidealen. Es gelte .

Dann ist oder für ein .