Esto implica inmediatamente la estructura de formula_4 para las representaciones diestra o zurda de formula_13, que es la suma directa de cada formula_14; tantas veces como su dimensión (siempre finita).