Neka je ABCABC pravokutni trokut s pravim kutom u vrhu CC. Neka je PP točka takva da je kut ABP\measuredangle ABP je pravi, da vrijedi BP=BC|BP| = |BC| te da su točke PP i CC su na suprotnim stranama pravca ABAB. Dokaži da je pravac CPCP okomit na simetralu kuta BAC\measuredangle BAC.