Lemma 24.9
Kurs:Algebraische Kurven (Osnabrück 2025-2026)/Vorlesung 24 Formaler Potenzreihenring/Eine Variable/Einsetzen ergibt Ringhomomorphismus/Fakt