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 (QBQ \neq B). Dokaži da je AQ+QC=BP|AQ| + |QC| = |BP|.