What is the difference between a theorem, a lemma, and a corollary? | Hacker News Reader