Fermat's little theorem (later proved by Leibniz and Euler). Fermat also investigated the primality of the Fermat numbers , and Marin Mersenne studied the Mersenne primes, prime numbers of the form with itself a prime. Christian Goldbach formulated Goldbach's conjecture,