Fermat's little theorem
フェルマーの小定理の類似物は、 formula_29 でも成立する。formula_59を素数formula_60で割り切れない元としたとき