P neq NP Proof | Hacker News Reader