formula_13の共終数が可算であったとして、