如何证明当0