cauchy-frobenius lemma