Hacker News new | ask | show | jobs
by Ygg2 2849 days ago
They weren't. There was an error or oversight in the proof.