Cauchy–Frobenius_lemma loading ...