The Proof of Wagner's Conjecture and Why It Matters | Dark Hacker News