如果AUB=AUC且A-B=A-C,则B=C.