Theorem 1.4 is in fact a special case of the Cauchy Binet formula concerning the determinant of the product of two rectangular matrices of transpose shapes (see, for instance, Proposition 3.4 in [21]).
Theorem 1.4 is in fact a special case of the Cauchy Binet formula concerning the determinant of the product of two rectangularmatrices of transpose shapes (see, for instance, Proposition 3.4 in [21]).