するとformula_19なので、formula_20である。