The difference between a theory and a theorem | Hacker News Reader