Theorem (Binet) det(AB)=det(A)det(B) Corollary det(A−1)=det(A)−1 Proof It follows from A−1A=I and the Binet formula. □