2. see parallel DE. So △CFD and △EFD are congruent (public side DF, ∠CDA=∠EDA, CD=ED).
3. Therefore, CD=DE=EF=FC, that is, the quadrilateral CDEF is a diamond.
4. Proof of proposition