主要的问题在于推导这两个简单的映射，只有真正地去推导一遍，心里才会更加踏实一点。

这里的证明其实有点简略，但是如果想要严谨的证明，有这个思路的话，是不难得到的。这个粗略的证明可能就仅仅是给自己看了。