问题情境：

如图1，点E为正方形ABCD内一点，∠AEB＝90°，将Rt△ABE绕点B按顺时针方向旋转90°，得到△CBE′（点A的对应点为点C）．延长AE交CE′于点F，连接DE．

猜想证明：