若上述变换成群记作G,单位为i
任意的m属于M
记映射f下标m :M->M
x->m
我们有
i*f下标m=f下标m*i
从而
i（m）=m
这对任意的m成立
故i为恒等映射,是双射.矛盾