Correct. By subtracting 9 first, you are performing the inverse of +9, resulting in the expression $\displaystyle\frac{{1}}{{3}}{x}\usepackage{cmbright}\Huge\$ . By multiplying by 3, you are performing the inverse of dividing by 3, and completely isolating the variable x.