The existence of the square root of two | Hacker News Reader