このことを見るために、pが(x,y)の生成元であると仮定すると、xとyは両方ともpにより割り切れることになるが、このことはpが0でない定数でない限り不可能である。
当n=0，这是道路连通分支间的映射，若假设X和Y是连通的，那么这映射不具有资料，可以忽略掉。