A characterization of the permanent function by the Binet-Cauchy theorem