Además formula_96, es decir, la dimensión de formula_87 como espacio vectorial sobre formula_76 es 2, esto es así ya que 2 es el grado del polinomio mónico e irreducible que tiene a √2 como raíz: formula_99.