Kommutative Ringtheorie/Maximales Ideal/Primideal/Fakt

Es sei ein kommutativer Ring und ein maximales Ideal in .

Dann ist ein Primideal.