- For all natural numbers n, gcd (n, n +1) = 1
- Let k be a natural number. Then there exists a natural number n (which will be much larger than k) such that no natural number less than k and greater than 1 divides n.
- Let k be a na be a natural number. Then there exists a prime number larger than k.