<image>ABCD is geometrically a square. ADE is an isosceles triangle where AD = DE. EDF is an isosceles triangle with ED and DF being equal in length. I need to know the length of the base EF in the isosceles triangle EDF.