El resultado no sorprende si se considera los cardinales de ambos conjuntos: Si la dimensión de formula_77 sobre formula_76 fuese finita, formula_77 sería isomorfo a formula_84, lo que no es posible porque formula_85.