我想问一下，高级微观经济学的证明部分是不是必须用公式？