Euclid Theorem "every angle has a bisector"