Dana je kružnica promjera AB\overline{AB}. Na toj kružnici, s različitih strana pravca ABAB, nalaze se točke CC i DD takve da vrijedi AC<BC|AC| < |BC| i AC<AD|AC| < |AD|. Točka PP pripada dužini BC\overline{BC} te vrijedi CAP=ABC\measuredangle CAP = \measuredangle ABC. Okomica iz točke CC na pravac ABAB siječe pravac BDBD u točki QQ. Pravci PQPQ i ADAD sijeku se u točki RR, a pravci PQPQ i CDCD u točki TT.

Ako je AR=RQ|AR| = |RQ|, dokaži da su pravci ATAT i PQPQ međusobno okomiti.