VをK上のn次元ベクトル空間、AをKを係数とするn次正則行列とする
e_1,...,e_nがVの基底のとき、Ae_1,...,Ae_nもVの基底となることを示して下さい