あるいは、正方行列の行列式の乗法性と公式