Given: �ÚA≅�ÚBDE; AB x DE = AD x BD

Prove: AB x CD = AD x BC