Elementary theory of prime numbers