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