Redirecting to Thales' theorem