The addition property of equality justifies this. You could also say that she simply subtracted 7, and then it would be the subtraction property of equality. This is the case because if you add or subtract (or multiply or divide) the same number on both sides of an equation, the equation will still be the same.
