Neka je ABCABC pravokutan trokut s pravim kutom u vrhu CC i ∣AC∣>∣BC∣|AC| > |BC|. Neka je kk polukružnica s promjerom AC‾\overline{AC} koja se nalazi s iste strane pravca ACAC kao i točka BB. Neka je PP točka na kk takva da je ∣CP∣=∣CB∣|CP| = |CB| i neka je QQ točka na AC‾\overline{AC} takva da je ∣AP∣=∣AQ∣|AP| = |AQ|. Dokaži da polovište dužine BQ‾\overline{BQ} pripada polukružnici kk.