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}.