如圖，正方形ABCD中，E是AD上一點(diǎn)（E與A、D不重合）．連接CE，將△CED繞點(diǎn)D順時(shí)針旋轉(zhuǎn)90°，得到△AFD。
（1）猜想CE和AF之間的關(guān)系，并進(jìn)行證明；
（2）連接EF，若∠ECD=30 °，求∠AFE的度數(shù)。