>>557
線形な全単射なら同型だから次元は等しいが