Computing...

Input interpretation:

Fermat\'s little theorem (mathematical problem)


Statement:

For p a prime and a a positive integer not divisible by p, a^(p - 1) - 1 congruent 0 (mod p).


Formal statement:

(for all)_({p, a}, p element P && a element Z^+ && a mod p!=0)(a^(p - 1) - 1) mod p = 0

Source information
Contact Pro Premium Expert Support