Cauchy-Binet formula: general form

Question 1: For example, there is a proof in Volume 1 of Gantmacher's classic The Theory of Matrices. (It's in Chapter 1, §4, as a corollary of Cauchy–Binet from §2.)