Kružnice i
sijeku se u točkama
i
. Neka su točke
na kružnicama
redom tako da vrijedi
. Dužina
siječe kružnice
i
u točkama
redom. Neka je
polovište kružnog luka
kružnice
koji ne sadrži točku
te neka je
polovište kružnog luka
kružnice
koji ne sadrži točku
. Neka je
sjecište pravaca
i
. Dokaži da je pravac
okomit na
.
(Steve Dinh)