یک بار در مثلث ABD و یک بار در مثلث CAD برای قاطع EF منلائوس مینویسیم و برابر هم قرار میدهیم و بدست میاید AE/EB=CF/FD
حال اگر نقطه ی برخورد AF,DE را Q بنامیم طبق پاپوس P,O,Q همخطند پس ثابت میکنیم PQ پاره خط EF را نصف میکند.حال در مثلث EFQ برای سه خط EC,FB,QP
سوای سینوسی مینویسیم و بدست...