定理4.6.11
𝐴を𝑟次正方行列，𝐷を𝑠次正方行列，𝐶を𝑠×𝑟行列とする．
ここで，𝑂はすべての成分が0からなる𝑟×𝑠行列を表す．
と分解できることと，𝑑𝑒𝑡(𝐴𝐵)=𝑑𝑒𝑡𝐴⋅𝑑𝑒𝑡𝐵であることと，
から，