Neka je ABCABC trokut s pravim kutom u vrhu CC. Simetrale šiljastih kutova sijeku nasuprotne stranice u točkama MM i NN. Neka je PP sjecište visine iz vrha CC s dužinom MN‾\overline{MN}. Dokaži da je duljina ∣CP∣|CP| jednaka polumjeru upisane kružnice trokuta ABCABC.