如何证明双射,