$\begin{array}{1 1} BC . DE = AB .EF.\\ BC .EF = AC .FD. \\ AB .EF = AC . DE. \\ BC . DE = AB .FD. \end{array} $