この定義はformula_19をformula_20に対し与える。