What are some deep theorems, and why are they considered deep? | Hacker News Reader