ABCD is a square
Triangle DEF is an equilateral
Triangle DEF is an equilateral