n次正方行列全体のベクトル空間の次数はいくつか