Además, si el espacio vectorial formula_36 es finito-generado, se verifica que formula_5 es un isomorfismo.