Awfully Sophisticated Proofs for Simple Facts | Hacker News Reader