若AB=AC同时A+B=A+C，则一定满足B=C。