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.