如何证明重力是保守力