wrote about the prime number theorem