Angle B+ angle bed = = angle EDF+ angle FDC
Angle b = angle EDF
So angle bed = = angle FDC
Then through angle b = angle c
Angle bed = = angle FDC
DE=DF
It is concluded that triangular beds are all equal to triangular CDF.
So be = CD
BD=CF
Then the conclusion is easy to prove.