（n，n，n)设p是素数，且p≡(mod)，则Zp的所有非零平方元组成的集合D是加法群的（C）