如圖是2002年8月在北京召開的第24屆國際數(shù)學(xué)家大會會標(biāo)中的圖案，其中四邊形ABCD和四邊形EFGH都是正方形．
小強(qiáng)看后馬上猜出△ABF≌△DAE，并給出以下不完整的推理過程．
請你填空完成推理：
證明：∵四邊形ABCD和EFGH都是正方形，
∴AB=DA，∠DAB=90°，∠GFE=∠HEF=90°
∴∠1+∠3=90°，∠AFB=∠DEA=90°，
∴∠2+∠3=90°
∴

∠1=∠2

∠1=∠2

，

（同角的余角相等）

（同角的余角相等）

在△ABF和△DAE中

∠1=∠2，∠AFB=∠DEA=90°，AB=DA，

∠1=∠2，∠AFB=∠DEA=90°，AB=DA，

∴△ABF≌△DAE（AAS）