如图,AE=CB,BC=EF,BC//EF,求证:三角形ABC全等于三角形DEF