>>803
Z⊂Z_p とみなすみなし方は分かってるよね?