Subtract 9 from both sides: , so .