Proving Euclid's Theorem using just the notion of “proportion” | Hacker News Reader