初等数论伪素数的定义为什么不带p不整除a,感觉不恰当?费马小定理原话是“若p是素数,且p不整除a,则a∧p-1≡1(mo