>>792
Zの元aが
Z→Z_p/p^mZ_p
a→a (mod p^mZ_p)
によって 環Z_p/p^mZ_p の 0 に行くとき a はZの中でどんな数なのかを考える