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