柯斯特利金代数学引论第一卷139页提到标题所述命题,但未完整证明。现在我给出证明。命题:证明:首先,证明在加法群中,任意非零元的p次累加为0.其次,证明不可能有,使得,用反证法证明如下:倘若存在这样的q,则:矛盾。此解答参考自网络连接