Theorems
Fermats' little theorem
Representation of positive integers through primes (fundamental theorem of arithmetic)
Bertrand's hypothesis
One linearly independent set
Giuga's conjecture