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