一般形式ゲームにおける均衡への道筋

一般形式ゲームにおいて、任意の初期戦略プロファイルから有限長の満足化経路を構築することができ、その経路は必ず均衡戦略プロファイルで終了する。