در خارج مثلث ABC و روی دو ضلع AC و AB دو مستطیل AYMC و AXNB را بنا میکنیم به طوری که YM و XN بر دایزه ی محیطی ABC مماس باشند. اگر E محل تماس دایره ی محاطی خارجی روبرو به راس A با ضلع BC باشد. ثابت کنید : AE بر XY عمود است.