Разложение на неприводимые компоненты

[Name XXX]

Пусть есть представление группы Лоренца $\left( \frac{n}{2}, \frac{k}{2}\right)$, которое задается полностью симметричными отдельно по точечным и неточечным индексам спинорами $\psi_{a_{1}...a_{n}\dot {b}_{1}...\dot {b}_{k}}$ и реализует состояние со спином $s = \frac{n + k}{2}$ и массой $m$. Как показать, что при сужении на трехмерную группу вращений $SO(3)$ это представление распадается в прямую сумму неприводимых представлений спинов $s, s - 1, ...$ и при этом каждое представление содержится в этой сумме только один раз?