Solve the linear equation 17 - x = ⅓ times 15 + 6. State the property that justifies your first step and why you chose it.