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