ab=ac,ce=bd,证df=ef