まず、formula_49である(formula_1自身はformula_1のclub集合である)。