is substitution property of equality

If y = 3x - 11 and x = 4 then to get the y you would substitute the 4 into the x in the equation y = 3(4) - 11 the answer is substitution property