اضلاع AB و AC از مثلث ABC را به ترتیب از طرف B و C امتداد داده ایم تا خط داده شده ی lL را به ترتیب در نقاط D و E قطع کنند. فرض کنید قرینه ی L نسبت به عمود منصف BC نیز امتداد های مذکور را به ترتیب در نقاط 'D و 'E قطع کند. ثابت کنید اگر BD+CE=DE آنگاه E'D'=E'C+D'B