What does a lean proof prove? | Hacker News Reader