Fermat's little theorem
formula_1でのフェルマーの小定理の類似物はformula_12ならば