Endliche kommutative Algebra/Transitivität/Fakt

Es sei ${}S$ eine endliche ${}R$ -Algebra und ${}T$ eine endliche ${}S$ -Algebra.

Dann ist ${}T$ eine endliche ${}R$ -Algebra.