そういや、もう忘れちまったけど
|A B|
|O C|
=|A||C|
ってどうやって証明したっけ……
やっぱ行列式の重線型交代形式としての特徴づけからかな…
AとCを三角化する行列を上手くかけても出るか。