Diberikan segitiga lancip ABC dengan lingkaran luar O. Garis AO memotong lingkaran luar segitiga ABC lagi di D. Misalkan P titik pada sisi BC. Garis melalui P yang tegak lurus AP memotong garis DB dan DC berturut-turut di titik E dan F. Garis melalui D tegak lurus BC memotong EF di titik Q. Buktikan bahwa EQ=FQ jika dan hanya jika BP=CP.