formula_29を示せばよい。