Standard-graduierter Ring/K/Modul/Multiplizität/Ganzzahlig/Fakt/Beweis

Beweis

Diese Eigenschaft gilt nach Fakt für jede Funktion von polynomialen Typ.