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)