I'd go with the subtraction property of equality:
a = b + c precisely when a - b = c
9.5m questions
12.2m answers