加群Ｚm{0,1,…,mｰ1}に対して、n倍すると0となる元全体のつくる部分加群n(Ｚm)において、m,nの最大公約数をd、n=dbとするとき、bがＺmの元であることはどのように証明できるでしょうか？