如图,在梯形ABCD中,DC//AB,E,F为AB上两点,且AE=BF,DE=CF,EF不等于CD,求证:AD=BC.