Construction of Tangent from Point to Circle/Euclid's Proof