【行列式】det(A O C D)=det(A B O D)=det(A)det(B)の証明

零行列があるときは、行列式は簡単に計算出来る。その公式を紹介し、証明する。