このとき、formula_39formula_48とformula_40formula_34は、formula_51、formula_52、formula_53、formula_54の関係があるので、以下の関係が成り立つ。