Kategorie:Existenztheorie für Primideale in kommutativen Ringen/Fakten