Teorema dimensión suma de subespacios.