Como todo espacio vectorial tiene base, podemos calcular la dimensión de formula_11 como espacio vectorial sobre formula_14, denotado por formula_71.