$m(\widehat{DAC})=m(\widehat{DBC})$ ve $DAE$, $FBC$ ikizkenar üçgenlerinden $m(\widehat{ADE})=m(\widehat{BCF})$ olur. $m(\widehat{ADB})=m(\widehat{ACB})$ ve $m(\widehat{ADE})=m(\widehat{BCF})\Longrightarrow m(\widehat{EDF})=m(\widehat{ECF})$ olur. Son bulduğumuz eşitlik bize $EDCF$ dörtgeninin kirişler dörtgeni olduğunu söyler. Böylece $m(\widehat{CDF})=m(\widehat{CEF})=m(\widehat{CAB})\Longrightarrow EF\Vert AB$ olur.