Paul Erdos, the legendary genuius, was the first to provide an 'elementary' proof of the prime number theorem. Should this be added?
... is a municipality in central Sweden, in the county of Dalarna. The municipality covers an area of 1500.7 km². Of the total population of 26450, 13112 are ...