ナッシュ均衡
Theorem 1. Nash equilibrium exists.