Prove ABC~EDC ?
AA similarity theorem
ASA similarity theorem
AAS similarity theorem
SAS similarity theorem
