行列式に対するライプニッツの明示公式
行列式は以下の定理によって特徴付けることができる。