提携formula_80(ただし、formula_81)が存在するとき、