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.