Neka je ABCABC trokut s pravim kutom u vrhu CC. Neka je DD nožište visine iz vrha CC. Kružnica sa središtem u CC polumjera CD|CD| siječe opisanu kružnicu trokuta ABCABC u točkama EE i FF. Pravac EFEF siječe dužinu CD\overline{CD} u točki PP. Dokaži da je PP polovište dužine CD\overline{CD}.