矩形ABCD中，E是BC上一点，DF⊥AE于F，若AE=BC.求证：CE=EF。