已知,在三角形ABC和三角形DEF中,AB=DE,BC=EF,角BAC=角EDF=100度,求证,三角形ABC全等于三角