This question was asked in Theorem 9.1

In theorem 9.1 

EFCD is a triangle? ????

Garima Rohit's image