Es sei S {\displaystyle {}S} eine endliche R {\displaystyle {}R} -Algebra und T {\displaystyle {}T} eine endliche S {\displaystyle {}S} -Algebra.
Dann ist T {\displaystyle {}T} eine endliche R {\displaystyle {}R} -Algebra.