Paul Erdos, the legendary genuius, was the first to provide an 'elementary' proof of the prime number theorem. Should this be added?
... of Gothic kings in Italy. At the time of Justinian, he was a Christian and possibly bishop of Croton. In approximately 580, he wrote "De origine actibusque Getarum[?]" ...