::: V x W on siis perusta, jonka kaikki elementit (lukemattoman monta) ovat kaikki lineaarisesti riippumattomia määritelmän mukaan? Eli joukko V x W on oikeasti indeksijoukko esifaktoroidun vektoriavaruuden perusvektoreille? Jos näin on, eikö olisi selkeämpää aloittaa avaruudesta Hom(VxW, R)?