Algebra/Endlicher Typ/Noethersche Normalisierung/Fakt/Beweis