De hecho, cualquier isomorfismo Φ de V a V* define un producto bilineal no degenerado único en V por