INFO:
如何证明一个映射是双射