Mathematical theorem finds gerrymandering in PA congressional district maps | Hacker News Reader