Lemma 23.4
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 23 Noetherscher lokaler Ring/Potenzen vom maximalen Ideal/Restklassenring und Jets sind endlich-dimensional/Fakt