An application of Fermat's little theorem
32762
Proof for: $(a+b)^{p} \equiv a^p + b^p \pmod p$
118955
Specific steps in applying the Chinese Remainder Theorem to solve modular problem splitting modulus
157652
Fermat's Last Theorem for Gaussian Integers (excluding the integers or  same pure imaginaries)
15352
How is Fermat's least time principle proven?
115454
Primality test bound: square root of n
75023
A finite sum of prime reciprocals
149589
Analogous results to Euler's theorem
153831
Approximating $\pi$ with least digits
12374
Approximation to the prime counting function
26607
The idea behind the sum of powers of 2
4140
Fermat's Last Theorem with negative exponent
8784
modulo version of the quadratic formula and Euler's criterion
47060
Split $n$ into nontrivial factors via a nontrivial square-root of $1\!\pmod{\!n}$
27448
The Collatz conjecture algorithm applied to negative integers
136947
Simple Mersenne prime divisibility proofs
155812
A Fermat's FLT look-like for matrices.
157213
Application of Luca's theorem