Theorems

Fermats' little theorem

Representation of positive integers through primes (fundamental theorem of arithmetic)

Bertrand's hypothesis

One linearly independent set

Giuga's conjecture