[math]AB\parallel EF\parallel DC\wedge AE=DE[/math][br] [math]\Downarrow[/math][br] [math]BF=CF[/math]