Why a·0=0 and Other Proofs of “the Obvious” | Hacker News Reader