با ثابت کردن هم نهشتی دو مثلث OAB و ODC میتونیم ثابت کنیم که OB با OD و OA با OC برابر است.
اول طبق دانسته های قبلی و داده های مسئله، فرض رو مینویسیم بعد حکم بعد استدلال که شامل فرض و تمام چیز هایی که میتونیم برای ثابت کردن همنهشتی دو مثلث بگیم که منطقی باشه رو مینویسیم. بعد که بنابه دو زاویه و ضلع بین، هم نهشتی دو مثلث رو ثابت کردیم میایم سایر اجزا که برابر هستند رو مینویسیم و تمام.