Adding a Hackernews proof