まあ、体K上の無限次元ベクトル空間Vについて、card(V)＝max(card(K),dimV)なること
に気付くことも、すごく難しいという訳ではないのだろうが、証明は必要になる。