>>854
(１)　Ａは正則行列⇔│Ａ│≠０
(２)　Ａ、Ｂはともに正則⇔積ＡＢは正則

だろう。