Cauchy-Frobenius lemma