Euclid Theorem "an equilateral triangle with a side...