taking formula_67 and a bijective map formula_68, we can construct a vector space isomorphism between formula_69 and formula_70 by mapping formula_71 where for every natural number formula_72 such that formula_73, including in particular formula_74 for every formula_75, the vector formula_76 denotes the "j"th standard basis vector of formula_70. via this identification, we have formula_78.