4次正方行列 行列式 定義