On “trivial” in mathematics | Hacker News Reader