Searching for links to ThalesTheorem:
CircleTheorem
Thales