Theorem on Friends and Strangers | Hacker News Reader