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.