ABCD is a square . the bisector of angle DBC cuts AC and CD at E and F respectively.Prove that BFx CE = BE x DF