formula_17より、formula_7をformula_19の関数として表す。