Endliche kommutative Algebra/Transitivität/Fakt/Beweis