Paul Erdos, the legendary genuius, was the first to provide an 'elementary' proof of the prime number theorem. Should this be added?
... Mills World Heritage Site Greater Manchester Manchester City: Imperial War Museum Salford: Th ...