Si "G" es un grupo finito y k un cuerpo de característica 0, entonces se muestra en la teoría de representaciones de grupo que cualquier subrepresentación de la dada es ya un sumando directo de la dada.