The proof of the second part makes use of some idea of groupoid.

• 第二部分的证明用到了群胚的基本思想。