formula_9とformula_19から、formula_20がわかる。