Fermat's theorem
A Pythagorean prime is a prime number of the form 4"n" + 1. Pythagorean primes are exactly the odd prime numbers that are the sum of two squares; this characterization is Fermat's theorem on sums of two squares.