Si U y U son subespacios de un espacio vectorial de dimensión finita, se cumple: