Direkte Summen und Invarianten kommutieren.
Beweis umgeändert.