Thales' Theorem/Historical Note

Theorem
This result was known by the ancient Babylonians as early as $2000$ BCE.

The proof of what is now known as Thales' Theorem that actually used is unknown. Whether he was aware of the Interior Angles Theorem and used it in his proof cannot be decided.

The Interior Angles Theorem is traditionally ascribed to, who lived near , and may have met him.

Thus it is possible that learned of the Interior Angles Theorem either directly or indirectly from  himself.