ABCD is a trapezoid, AB||CD. EF is a line connecting the midpoints of legs AD and BC, AE=ED and BF=FC. Prove that EF||DC and that EF = 1/2(AB +CD).