Moved to Semicircle Thales Theorem .