Neka su točke MM i NN redom dirališta upisane kružnice raznostraničnog trokuta ABCABC sa stranicama AB\overline{AB} i CA\overline{CA}, a točke PP i QQ redom dirališta pripisanih kružnica nasuprot vrhova BB i CC s pravcem BCBC. Dokaži da je četverokut MNPQMNPQ tetivan ako i samo ako je trokut ABCABC pravokutan s pravim kutom pri vrhu AA.