We are trying to prove that (BE)(ED) = (AE)(EC). Similar triangles, anyone?