para cada formula_5 en W*, la asignación formula_6 genera un homomorfismo inyectivo entre el espacio de operadores lineales de V a W y el espacio de operadores lineales de W* a V*; este homomorfismo es un isomorfismo ssi W es finito-dimensional o V es trivial.