一般均衡理论的证明是什么