纳什均衡的详细证明,包括引导定论的详述,再利用引理证明纳什均衡