را امتداد میدهیم تا O[SUB]1[/SUB] را در E و O[SUB]2[/SUB] را در F قطع کند. فرض کنید CN=DN حال داریم : BN.AN=CN.NF=ND.NE پس NE=NF پس DE=CF.
از O[SUB]1[/SUB] و O[SUB]2[/SUB] بر EF عمود میکنیم پای عمود وارد از O[SUB]1[/SUB] را T و پای عمود وارد از O[SUB]2[/SUB] از S مینامیم.میدانیم T و S اوساط DE و CF میباشند پس
NT=NS پس MN بر EF عمود است پس MD=MC .
طرف دوم هم به همین صورت میباشد.