Every finite-dimensional unitary representation on a Hermitian vector space V {\displaystyle V} is the direct sum of irreducible representations.
Любое конечномерное унитарное представление на эрмитовом векторном пространстве V {\displaystyle V} является прямой суммой неприводимых представлений.