Schröder–Bernstein theorem | Hacker News Reader