7258
The formula can be generalized to ( square ) products of rectangular matrices , giving the Cauchy–Binet formula , which also provides an independent proof of the multiplicative property .
 person: Cauchy–Binet
Please list all entity words in the text that fit the category.Output format is "type1: word1; type2: word2". 
Option: location, person, organization 
Text: {0} 
Answer:
 person: Cauchy–Binet