Name the property of equality or congruence that justifies going from the first statement to the second statement.

3x+x+7=23

4x+7=23