Kommutative Ringtheorie/Maximales Ideal/Primideal/Fakt/Beweis

Beweis

Dies folgt sofort aus den Charakterisierungen für Primideale und für maximale Ideale mit den Restklassenringen.