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