this is an application of thales' theorem