New proof resolves question about regular substructures in graphs | Hacker News Reader