در مثلث ABC نیمساز B دایره ی محیطی ABC را در M و ضلع BC را در D قطع میکند. از D خطی عمود بر BC رسم میکنیم تا دایره ی محیطی
(کمان BC که شامل A نیست) را در K قطع کند.از B خطی بر AK عمود میکنیم و امتداد میدهیم تا BC را در L قطع کنند.
ثابت کنید M,L,K همخطند.