よって 定理4.3.4より、 が正則行列であることは の 個の列ベクトルは1次独立であることと同値であるため、1次独立である1列、2列、5列を残せばよい また、 3次であるから、任意の行を1行取り除けばよい