ここで、formula_36と定義すると、