梯形ABCD中,AD∥BC,EF平行于两底,E是AB的中点,那么EF是梯形ABCD的中位线,