An integer is said to be divisible by some integer (not 0) if there exists another integer such that . We express the fact that is divisible by by

It is also given that

if and

A number is said to be prime if

  • has no positive divisors except and
    e.g. 37 is prime. 1 is not a prime
    A number greater than 1 that is not prime is called composite.

Theorem 1: Every positive integer except 1 is a product of primes
Either is prime, where there is nothing to prove, or has divisors between and . If is the least of these divisors, then is prime, as otherwise:

and

which contradicts the definition of .
Hence, is prime or divisible by a prime less than , which we will denote . In this case, with . Here, either is prime, in which case the proof is complete, or it is divisible by a prime less than , giving with .
Repeating the argument, we obtain a sequence of decreasing numbers , all greater than 1, for each of which the above presents itself. Eventually, we will reach a situation such that is prime, denoted , giving the fact that .

If , then and cannot both exceed . Therefore any composite is divisible by a prime not exceeding .

The primes are not necessarily distinct or in any particular order. If they are arranged in increasing order with equal primes denoted as powers, we obtain in standard form.

For example:

Theorem 1 doesn’t state that the expression of as a product of primes is unique besides rearrangement of factors.

Theorem 2 (The Fundamental Theorem of Arithmetic): The standard form of an integer is unique; apart from the rearrangement of factors, can be expressed as a product of primes in one way only.

Proof: Suppose that , each being a product of primes in standard form. Then p1|q1^{b1}...qj^{b_j}$$ for every ipqqpk = jpi = kiiai > bipi^{bi}, we obtain $$p1^{a1}...pi^{ai—bi}...pk^{ak} = p1^{b1}...p{i—1}^{b{i—1}}p{i+1}^{b{i+1}}...pk^{b_k}$$ The lhs is divisible by p_ibi > aiai = bi$ and this completes the proof of Theorem 2.

If 1 were considered to be a prime, the fundamental theorem of arithmetic would not hold, as we could insert any number of unit factors.

Theorem 3 (Euclid’s First Theorem): If is prime, and , then or .
The proof of theorem 2 can be reduced to that of theorem 3.

It is a clear corollary of Theorem 3 that

and in particular that if are primes, then is one of them.

The first primes are

It is easy to construct a table of primes up to a limit by a procedure known as the “sieve of Eratosthenes.”
We have seen that if and is not prime, then must be divisible by a prime not greater than . Now, we write the numbers

and strike out successively

  • , i.e. and every number following
  • , i.e. and then every multiple of 3 not yet struck out
  • i.e. (the square of the next remaining number after 3) and then every multiple of 5 not yet struck out
    We continue this process until the next remaining number, after that whose multiples were struck out last, is greater than . The numbers which remain are primes. All present tables of primes have been constructed by modifications of this procedure.

The tables indicate that the series of primes is infinite.
Theorem 4 (Euclid’s Second Theorem): The number of primes is infinite.
Proof:

Theorem 5: There are blocks of consecutive composite numbers whose length exceeds any given number .

The theory of the distribution of primes requires knowledge of the logarithmic function . We take the ordinary analytic theory of logarithms and exponentials for granted except one property of : since

When . Hence, tends to infinity more rapidly than any power of . It follows that , the inverse function, tends to infinity more slowly than any positive power of : or for every positive .

Theorem 6 (The Prime Number Theorem): The number of primes not exceeding is asymptotic to .

This is the central theorem in the distribution of primes. The proof is given in chapter 22.

Theorem 7 (Tchebychev’s Theorem): The order of magnitude of is