一般均衡理论的证明有哪些