Neka je ABCABC trokut u kojem je ∣AB∣<∣CA∣<∣BC∣|AB| < |CA| < |BC| i neka su DD i EE redom točke na polupravcima BABA i BCBC takve da je ∣BD∣=∣BE∣=∣AC∣|BD| = |BE| = |AC|. Opisana kružnica trokuta BDEBDE siječe dužinu AC‾\overline{AC} u točki PP, a pravac BPBP siječe kružnicu opisanu trokutu ABCABC u točki QQ (Q≠BQ \neq B). Dokaži da je ∣AQ∣+∣QC∣=∣BP∣|AQ| + |QC| = |BP|.