cofactor expansion

多重線形性による余因子展開の公式の証明で本質的なのは、000で十字になってて真ん中に成分があるような行列の定義に沿った計算が本質的。