如图,正方形ABCD中,E是AD上一点(E与A、D不重合).连接CE,将△CED绕点D顺时针旋转90°,得到△AFD。(1)猜想CE和AF之间的关系,并进行证明;(2)连接EF,若∠ECD=30 °,求∠AFE的度数。