[math]AB=CD\wedge ME\perp AB\wedge MF\perp CD[/math][br] [math]\Downarrow[/math][br] [math]ME=MF[/math]