Unknown Mathematician Proves Elusive Property of Prime Numbers

Substantial discussion from an earlier submission is here: https://news.ycombinator.com/item?id=5734480