ベクトル空間としての次元ってのが拡大次数の定義なのにベクトルじゃいやとかギャグにもならん気がするんだが