ナッシュ均衡
Theorem 2. Nash equilibrium in undominated strategies exists.