Endlicher Typ/K/Integer/Normalisierung/Fakt/Beweis

Beweis

Dies ist der Spezialfall von Fakt für .