Proof of proof by induction | Hacker News Reader