Hacker News new | ask | show | jobs
by throwawayoldie 361 days ago
"...but the proof is too large to fit in this margin."