Satz 24.6
Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 24 Formaler Potenzreihenring/Eine Variable/Konstante nicht null, dann Einheit/Fakt