如图,在正方形ABCD中,角EBF=45度,求证:EF=AE FC