Zahlbereich/Primzahl/Verzweigungsordnung/Idealzerlegung/Diskreter Bewertungsring/Fakt/Beweis