このとき、formula_48を満たすどの "b" も、formula_54であるようなformula_55を持つ。