Jabarkan Perumuman dari Rumus Cauchy–Binet

Rumus Cauchy–Binet dapat diperluas dalam sebuah cara yang mudah ke sebuah rumus yang umum untuk minor dari hasil kali dua matriks. Konteks untuk rumus diberikan dalam artikel tentang minor, tetapi ada gagasan yang mengatakan bahwa kedua rumus tersebut untuk perkalian matriks biasa dan rumus Cauchy–Binet untuk determinan dari hasil kali dua matriks merupakan kasus istimewa dari pernyataan umum berikut tentang minor dari sebuah hasi kali dua matriks. Dengan memisalkan  adalah sebuah matriks ,  adalah sebuah matriks ,  adalah himpunan bagian  dengan  anggota dan  adalah himpunan bagian  dengan  anggota. Maka

dengan jumlah tersebut memperluas semua himpunan bagian  dari  dengan