a设p是素数，则对于任意的整数a，有a^p≡a（modp）