実際formula_10の元はformula_12と(重複は飛ばして)枚挙できる。