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.