若(p)是质数,且(a)、(p)互质,那么(a^{(p-1)} \% p≡1)
(frac{a}{c}\% p) (= frac{a}{c} \% p imes 1) (= frac a c \% p imes c^{(p-1)} \% p) (= a imes c^{(p-2)} \% p)