thales' theorem

old to me, so new to you