На стороне `AB` квадрата `ABCD` выбрана точка `E`, которая не совпадает с `A` и `B`. На стороне BC выбрали точку F так, что `/_AED = /_DEF`. Докажите, что `EF = AE + FC`.