Fermat's little theorem
特に "n" が素数のときは、formula_13 より、フェルマーの小定理に一致する。