求证:三角形AEF全等三角形CEB