>>797
nZによる剰余加群の元なんだから驚きも何もないだろ