The Bombieri-Vinogradov theorem