如图已知ab平行ef,角ABC=角def