下面这一部分涉及映射，还没完全理解，这页是为了证明上一张笔记中的最后一个定理