Cuando formula_240 y formula_241 están en suma directa, cada vector de formula_242 se expresa de forma única como suma de un vector de formula_240 y otro vector de formula_241.