Es sei K {\displaystyle {}K} ein Körper und R {\displaystyle {}R} eine integre K {\displaystyle {}K} -Algebra vom endlichen Typ.
Dann ist die Normalisierung von R {\displaystyle {}R} eine endliche R {\displaystyle {}R} -Algebra.
