Dado dos subespacios vectoriales formula_232 de dimensión finita, tenemos el resultado siguiente: