瓦尔德等式证明