Formaler Potenzreihenring/Eine Variable/Diskreter Bewertungsring/Fakt/Beweis/Aufgabe

Beweise den Satz über die algebraische Struktur eines Potenzreihenrings .