Lemma 24.11
Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 24 Formaler Potenzreihenring/Eine Variable/T+../Transformierbar auf T/Fakt