A square is a quadrilateral with four equal straight sides and four right angles.
In this sense since the diagonals of a square bisect each other and meet at 90° and are congruent, we can conclude it is enough justification to prove that CDEF is a square