>>257

n 次正方行列全体は n^2 次元のベクトル空間になるから。