AC || DF and AC = DF. Prove that BC || EF and BC = EF.