[math]AB+CD=AD+BC[/math][br] [math]\Downarrow[/math][br]קיימת [math]M[/math] כך ש[br][math]ME=MF=MG=MH=R[/math][br]וגם[br][math]ME\perp AB,MF\perp BC,MG\perp CD,MH\perp AD[/math]