通常はformula_7(誰も参加しない提携への報酬を与えないこと)を仮定する。