If he adds the two equations, he will end up with $\displaystyle{3}{x}=-{9}\usepackage{cmbright}\Huge\$ , and he can solve for x.