>>183
M_4(K) の元って行列やん?