Proof of the André-Oort Conjecture | Hacker News Reader