Hacker News new | ask | show | jobs
by jacquesm 3849 days ago
The proof is quite extensive.