Na kružnici kk nalaze se točke AA i BB, a na manjem luku AB^\widehat{AB} točka PP. Neka su QQ i RR točke na kk, različite od PP, takve da je ∣AP∣=∣AQ∣|AP| = |AQ| i ∣BP∣=∣BR∣|BP| = |BR|. Neka je TT sjecište pravaca ARAR i BQBQ. Dokaži da su pravci PTPT i ABAB međusobno okomiti.