Hacker News new | ask | show | jobs
by picofarad 8 days ago
Was it proof by contrapositive?