y cada producto bilineal no degenerado en un espacio finito-dimensional da lugar inversamente a un isomorfismo de V a V*.