El siguiente resultado se mencionó anteriormente en este subproceso,busqué un poco en los subprocesos relacionados y no pude encontrar una prueba. Realmente me gustaría ver una prueba de ello:
Deje que %-%-% sea un grupo finito y % -%%una representación fiel de %-%-%. A continuación, cada representación irreductible de %-%-% está contenida en una potencia tensora de %-%-%.
