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