Hacker News new | ask | show | jobs
by tuix 2167 days ago
Or, what is left to prove is trivial.