とは言え>>858の意味でも（勿論>>754の七行目のような制約は課した上で）
デッドロックが起こらない戦略の存在は示せると思うので、特に何もなければ厳密性についてはこのくらいにします…
後で似たような状況を再現するために単純な類題を出すかもだけど、疲れてるのでしない可能性のが高いかもなので当てにしないでください